Viewing profile — not_a_math
not_a_math
HN member- Joined
- Thu, Oct 31, 2019, 1:39 PM UTC
- HN karma
- 4
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About not_a_math
No profile information was provided.
Recent public activity
-
comment
Comment #21408598
We have a bunch of theorem provers - Lean, Coq, Agda, Isabelle If you prove something in Lean, can you automatically convert the proof into a Coq one (even if it looks like uglyfie…