Popular repositories Loading

1. HopfieldNet HopfieldNet Public

   HTML 8 1

2. from-paper-to-proof from-paper-to-proof Public

   From Paper to Proof: Lean course materials (BGSMath, Barcelona, November 2026)

   Lean 3

3. mathlibtest mathlibtest Public

   Work in progress mathlib port for lean 4

   Lean 1

4. metawork metawork Public

   Lean 1

5. HNBM HNBM Public

   Lean 1

6. lean-type-theory lean-type-theory Public

   Forked from digama0/lean-type-theory

   LaTeX code for a paper on lean's type theory

   TeX