Leni Aniva
Posts
Categories
Tags
Publications
Archives
About
RSS
Rust
Trillium Devlog: Calling Lean from Rust
tools
/
sde
nix
/
rust
/
lean
2024-03-04
Trillium Devlog: A Rust development environment in Nix
tools
/
sde
nix
/
rust
/
emacs
2023-10-21