HN
New
Show
Ask
Jobs
Built with Marko
Type checker may be wrong – Lean and the Curry-Howard correspondence
2 points | by
max-amb
8 hours ago
1 comments
max-amb
7 hours ago
Feel free to ask any questions etc. here :)
Feel free to ask any questions etc. here :)