Viewing profile — Zimm_i48
Zimm_i48
HN member- Joined
- Tue, Aug 30, 2016, 7:21 PM UTC
- HN karma
- 4
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About Zimm_i48
No profile information was provided.
Recent public activity
-
comment
Comment #15786850
You can certainly do readable proofs in Coq the way you would do them in Isabelle, but this requires stating intermediate states explicitly (with assert e.g.) and Coq users rarely …
-
comment
Comment #12393087
This is because people comment without actually reading the article :/