Pinned Loading

1. math2001 math2001 Public

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

   HTML 350 181

2. computations_in_lean computations_in_lean Public

   A tutorial on doing proofs with a computational flavour in the Lean proof assistant, and particularly on using the tactic polyrith

   HTML 6 1

3. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3.5k 1.4k