Like Terraform, but in Lean 4

  • Posted 4 hours ago by ngrislain
  • 3 points
https://ngrislain.github.io/blog/2026-9-6-like-terraform-but-in-lean-4/

0 comments