Like Terraform, but in Lean 4

(ngrislain.github.io) by ngrislain | Sep 7, 2026 | 0 comments on HN