Sunday, September 23, 2018

Which mathematical definitions should be formalised in Lean?

Article URL: https://mathoverflow.net/questions/311071/which-mathematical-definitions-should-be-formalised-in-lean

Comments URL: https://news.ycombinator.com/item?id=18049756

Points: 1

# Comments: 1



from Hacker News: Newest https://ift.tt/2xHZEVQ
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Ask HN: How locked down are your work machines?

I've been working as a Software Engineer for 20+ years. Places I worked in the early years barely had an IT department at all. As a dev...