All posts tagged "coq"

Sep 10 2021	Formalizing Permutation Networks
Oct 9 2020	Tutorial: Verify Haskell Programs with hs-to-coq
May 15 2020	R E S P E C T - Find Out What It Means To The Coq Standard Library