Popular repositories Loading

1. holpy holpy Public

   Implementation of higher-order logic in Python

   SMT 65 6

2. auto2 auto2 Public

   A best-first-search theorem prover implemented in Isabelle

   Isabelle 36 1

3. bfh_python bfh_python Public

   Computations in Bordered Heegaard Floer Homology

   Python 10 6

4. iscalc iscalc Public

   An Interactive Symbolic Computation Framework

   Python 7

5. mars mars Public

   Isabelle 3

6. Imperative_HOL_Time Imperative_HOL_Time Public

   Verifying asymptotic time complexity of imperative programs in Isabelle.

   Isabelle 2