lean (5)

---

• A Course in Lean 4 at Stanford University

  The Perfect Math Class

  web

  visual

  lean

  2025-02-01

• matp

  Announcing the Release of Pantograph and PyPantograph

  A machine-to-machine proof assistant interface

  nix

  lean

  trillium

  2024-10-24

• Unofficial Lean Nix Flake

  Why?

  nix

  lean

  2024-10-11

• matp

  Announcing the Release of Pantograph v0.2.13

  A machine-to-machine proof assistant interface

  nix

  lean

  trillium

  2024-03-17

• trillium

  Trillium Devlog: Calling Lean from Rust

  nix

  rust

  lean

  trillium

  2024-03-04

---