Popular repositories Loading

1. UGE-haskell-tests UGE-haskell-tests Public

   Testing setup for Haskell lab sessions at UGE

   Haskell 4 2

2. plbank plbank Public

   Forked from plgitlogin/plbank

   Python

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

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