Popular repositories Loading

1. A complex analysis library in Coq, based on Coqueliqot

   Coq 3

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

   Scala

5. Forked from LS-Lab/KeYmaeraX-release

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

   Scala

6. Forked from math-comp/analysis

   Mathematical Components compliant Analysis Library

   Rocq Prover