trillium (5)

---

• matp

  The Future Directions of MATP

  At ICML'25 AI4Math workshop

  lean trillium

  2025-07-20

• matp

  Announcing the Release of Pantograph and PyPantograph

  A machine-to-machine proof assistant interface

  nix lean trillium

  2024-10-24

• 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

• trillium

  Trillium Devlog: A Rust development environment in Nix

  nix rust emacs trillium

  2023-10-21

---