logoalt Hacker News

Jblx2 • today at 1:23 AM • 0 replies • view on HN

https://ammkrn.github.io/type_checking_in_lean4/trust/trust....