alt
Hacker News
TheGoddessInari
•
yesterday at 8:53 PM
•
0 replies
•
view on HN
Lean 4, Idris 2.
alt Hacker News