Popular repositories Loading

1. Adam_Chlipala_Certified_Programming_with_Dependent_Types_Exercises Adam_Chlipala_Certified_Programming_with_Dependent_Types_Exercises Public

   COQ. Certified Programming with Dependent Types by Adam Chlipala. Exercises from the book. Solutions.

   Coq 1

2. SAT-solver-DPLL-CNF SAT-solver-DPLL-CNF Public

   DPLL satisfiability decision procedure for boolean formulas in conjunctive normal form, with a dependent type that guarantees its correctness

   Coq 1

3. rust rust Public

   Rust 1

4. fingertree fingertree Public

   fingertree: Generic finger-tree structure, with example instances. Idris

   Idris

5. idris idris Public

   Type-Driven Development with Idris Book by Edwin Brady, Exercises

   Idris

6. tic-tac-toe tic-tac-toe Public

   tic-tac-toe game in idris ( allso called crosses - zeroes )

   Idris