Popular repositories Loading

1. tornado-fr tornado-fr Public

   Le framework tornado en français

2. vscoq vscoq Public

   Forked from siegebell/vscoq

   Coq Support for Visual Studio Code

   TypeScript

3. vscode-coq vscode-coq Public

   Forked from editor-plugins/vscode-coq

   Coq for Visual Studio Code

   JavaScript

4. HoTT-UF-Agda-Lecture-Notes HoTT-UF-Agda-Lecture-Notes Public

   Forked from martinescardo/HoTT-UF-Agda-Lecture-Notes

   Lecture notes on univalent foundations of mathematics with Agda

   Agda

5. cubical cubical Public

   Forked from agda/cubical

   Agda

6. 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