Viewing profile — tromoi21
tromoi21
HN member- Joined
- Sun, Jan 31, 2021, 5:25 AM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About tromoi21
No profile information was provided.
Recent public activity
-
comment
Comment #25976286
The author of Z3, Leo de Moura, released Lean 4 milestone 1 about 3 weeks ago: https://github.com/leanprover/lean4 Lean 4 is a functional programming language and theorem prover th…