Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: A formal proof of deMorgan's law in lean
github.com/picrin
3 points
picrin
10 years ago
5 comments
Loading...
Show HN: A formal proof of deMorgan's law in lean | Heykuki News