Viewing profile — anon27182818
anon27182818
HN member- Joined
- Tue, Jun 28, 2022, 8:37 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About anon27182818
No profile information was provided.
Recent public activity
-
comment
Comment #31912709
Perhaps the ProofWiki will be useful for your efforts: https://proofwiki.org/wiki/Main_Page