Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3.7k 1.5k

2. teorth/analysis teorth/analysis Public

   A Lean companion to Analysis I

   Lean 1.8k 257

3. impermeable/waterproof-vscode impermeable/waterproof-vscode Public

   TypeScript 11 6

4. impermeable/coq-waterproof impermeable/coq-waterproof Public

   The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…

   Rocq Prover 51 18