Leni Aniva
Posts
Categories
Tags
Publications
Archives
About
RSS
Lean
Announcing the Release of Pantograph v0.2.13
A machine-to-machine proof assistant interface
matp
nix
/
lean
2024-03-17
Trillium Devlog: Calling Lean from Rust
tools
/
sde
nix
/
rust
/
lean
2024-03-04