Pinned Loading

1. fp-lean-zh fp-lean-zh Public

   Lean 函数式编程

   JavaScript 24 7

2. tp-lean-zh tp-lean-zh Public

   Lean 定理证明

   JavaScript 8 2

3. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   Lean 定理证明初探

   Lean 1

4. math-in-lean-zh math-in-lean-zh Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML 1