Hackernews
new
show
ask
jobs
Like Terraform, but in Lean 4
4 points
posted 11 hours ago
by ngrislain
(ngrislain.github.io)
No comments yet