Popular repositories Loading

1. SyDRec SyDRec Public

   A module for the inductive theorem prover Coq, which generates function and theorems based on inductive type definitions.

   OCaml 4

2. spectre spectre Public

   Program verification tool that generates TPTP problems. Can be used to check loops without user-supplied invariants, or to generate invariants

   C++ 3

3. prog_fonctionnelle prog_fonctionnelle Public

   Scala 2 9

4. tda342 tda342 Public

   Haskell

5. coq-course coq-course Public

   Forked from vlopezj/coq-course

   Coq course at Chalmers CSE

6. note-display note-display Public