Like Terraform, but in Lean 4
By ngrislain · 2026-09-07 · 7 points · 2 comments
https://ngrislain.github.io/blog/2026-9-6-like-terraform-but-in-lean-4/
By ngrislain · 7 points · 2 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews