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#

6. ionide/FSharp.Analyzers.SDK ionide/FSharp.Analyzers.SDK Public

   Library for building custom analyzers for F# / FSAC

   F# 84 27