7/25/2026 at 12:32:49 PM
Feel free to ask any questions etc. here :)by max-amb
7/25/2026 at 12:21:14 PM
Type checker may be wrong – Lean and the Curry-Howard correspondence
https://max-amb.github.io/blog/your_type_checker_may_be_wrong/by max-amb
7/25/2026 at 12:21:14 PM
by max-amb
7/25/2026 at 12:32:49 PM
Feel free to ask any questions etc. here :)by max-amb