News for hackers. Stuff that matters.

A comment on Lean 4.0.0, first official lean4 release. Parent comment

Re:Lean 4.0.0, first official lean4 release by fithisux on Friday September 08, 2023 @02:54AM (#37430365)
Me too, I want to follow

https://github.com/blanchette/logical_verification_2023

The hitchhiker's guide

[ Parent | on HN ]

There are no comments on this comment yet.