Pinned Loading

1. math-comp/math-comp math-comp/math-comp Public

   Mathematical Components

   Rocq Prover 655 125

2. math-comp/analysis math-comp/analysis Public

   Mathematical Components compliant Analysis Library

   Rocq Prover 229 63

3. mortberg/cubicaltt mortberg/cubicaltt Public

   Experimental implementation of Cubical Type Theory

   Haskell 592 75

4. rocq-community/coqeal rocq-community/coqeal Public

   The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

   Rocq Prover 73 17

5. math-comp/finmap math-comp/finmap Public

   Finite sets, finite maps, multisets and generic sets

   Rocq Prover 51 29

6. LaSalle LaSalle Public

   Forked from drouhling/LaSalle

   A formal proof of LaSalle's invariance principle

   Coq