Pinned Loading

1. Certified-SAT-solver Certified-SAT-solver Public

   This is a certified (verified) boolean formula solver (SAT solver).

   Coq 1

2. crosses-zeros crosses-zeros Public

   console game of crosses-zeros (a tic-tac-toe game) in Idris

   Idris

3. mcb mcb Public

   Forked from math-comp/mcb

   Mathematical Components (the Book)

   TeX

4. coq-of-ocaml coq-of-ocaml Public

   Forked from formal-land/coq-of-ocaml

   Formal verification of OCaml programs

   OCaml