Popular repositories Loading

1. lean-at-MC2020 lean-at-MC2020 Public

   Lean 6 7

2. 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 1

3. friendship-theorem friendship-theorem Public

   Lean 1

4. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

5. live-stream live-stream Public

   For code that i write while twitch streaming

   Lean

6. lean lean Public

   Forked from leanprover-community/lean

   Lean Theorem Prover

   C++