Y
Hacker News
new
|
ask
|
show
|
jobs
TheGoddessInari
10 hours ago
[
-
]
Lean 4, Idris 2.
Please enable JavaScript to continue using this application.