Article URL: https://www.maa.org/press/maa-reviews/type-theory-and-formal-proof-an-introduction
Comments URL: https://news.ycombinator.com/item?id=29298492
Points: 1
# Comments: 0
from Hacker News: Newest https://ift.tt/3nBmpWh
Article URL: https://www.maa.org/press/maa-reviews/type-theory-and-formal-proof-an-introduction
Comments URL: https://news.ycombinator.com/item?id=29298492
Points: 1
# Comments: 0
0 comments:
Post a Comment