Popular repositories Loading

1. logique-preuve-assistee logique-preuve-assistee Public

   Fiches d'exercice pour l'UE "Logique et preuve assistée", L1 Math-info, Université Gustave Eiffel

   Lean 1

2. plbank plbank Public

   Forked from plgitlogin/plbank

   Python

3. leanprover-community.github.io leanprover-community.github.io Public

   Forked from leanprover-community/leanprover-community.github.io

   Hosts the website for mathlib and other Lean community infrastructure.

   CSS

4. lsp_log_analyzer lsp_log_analyzer Public

   Experiments towards Lean4 LSP log analysis for education research.

   Lean 1