Like Terraform, but in Lean 4

(ngrislain.github.io)

4 points | by ngrislain 11 hours ago ago