Popular repositories Loading

1. math-classes math-classes Public

   Forked from rocq-community/math-classes

   A library of abstract interfaces for mathematical structures in Coq.

   Coq 1

2. hottbook hottbook Public

   Coq 1

3. Nek5000 Nek5000 Public

   Forked from Nek5000/Nek5000

   The open-source, highly-scalable, always-portable spectral element CFD code

   Fortran

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. affine-constructive-maths affine-constructive-maths Public

   affine-constructive-maths

   HTML

6. rocqtui rocqtui Public

   OCaml