Popular repositories Loading

1. holpy holpy Public

   Implementation of higher-order logic in Python

   SMT 58 6

2. auto2 auto2 Public

   A best-first-search theorem prover implemented in Isabelle

   Isabelle 33 1

3. bfh_python bfh_python Public

   Computations in Bordered Heegaard Floer Homology

   Python 9 6

4. iscalc iscalc Public

   An Interactive Symbolic Computation Framework

   Python 9

5. Imperative_HOL_Time Imperative_HOL_Time Public

   Verifying asymptotic time complexity of imperative programs in Isabelle.

   Isabelle 2

6. mars mars Public

   Isabelle 2