Dependent Types, Proof Development, Tactics, Mathematical Foundations

Dual numbers
funcall.blogspot.comยท19hยท
2011 N1 = 2024 A2
blog.evanchen.ccยท18h
Proof by Intimidation
en.wikipedia.orgยท1dยท
Discuss: Hacker News