HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by Jblx2 | Hacker News Reader
Parent
Full thread
Jblx2
·
https://ammkrn.github.io/type_checking_in_lean4/trust/trust....
View on HN
No comments yet.