Pinned Loading

1. secav-prover secav-prover Public

   An automated theorem prover for the SeCaV proof system.

   Isabelle

2. concurrentbenchmark/concurrentbenchmark concurrentbenchmark/concurrentbenchmark Public

   The Concurrent Calculi Formalisation Benchmark

   TeX 1 2

3. coq-microprover coq-microprover Public

   A formally verified automated theorem prover for the propositional fragment of implication and falsity.

   Coq 1

4. isabelle-cabal isabelle-cabal Public

   Cabal support for code generation from Isabelle.

   Haskell 1

5. c-ctl-check c-ctl-check Public

   A prototype model checker for CTL over constraint semirings

   F# 1

6. sindrip/BidirectionalDMPredicativeSystemF sindrip/BidirectionalDMPredicativeSystemF Public

   Haskell