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