Popular repositories Loading

1. coq-complex coq-complex Public

   A complex analysis library in Coq, based on Coqueliqot

   Coq 3

2. idris-cmp idris-cmp Public

   Vim Script 1

3. FSComp FSComp Public

   My F# compialer

   F#

4. hybrid-programs-vscode hybrid-programs-vscode Public

   Language Server for Hybrid-Programs as they appear in Keymaera X

   Scala

5. KeYmaeraX-release KeYmaeraX-release Public

   Forked from LS-Lab/KeYmaeraX-release

   KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

   Scala

6. analysis analysis Public

   Forked from math-comp/analysis

   Mathematical Components compliant Analysis Library

   Rocq Prover