Like Terraform, but in Lean 4

(ngrislain.github.io)

4 points | by ngrislain 12 hours ago ago