Zulip Chat Archive

Stream: general

Topic: A Survey of Languages for Formalizing Mathematics


view this post on Zulip Jason Rute (May 30 2020 at 21:01):

This A Survey of Languages for Formalizing Mathematics mentions Lean just a little bit.

view this post on Zulip Scott Morrison (May 30 2020 at 21:03):

It seems lack of subtyping rules us out. :-)

view this post on Zulip Kevin Buzzard (May 30 2020 at 21:28):

I'm quite happy to let computer scientists theorise about formalising mathematics, whilst the community here is actually doing it, and at an extraordinary rate

view this post on Zulip Kevin Buzzard (May 30 2020 at 21:29):

And I think might have an idea of what mathematics is which is closer to what mathematicians think mathematics is


Last updated: May 13 2021 at 17:42 UTC