166 followers
RT @Jose_A_Alonso: Maintaining a library of formal mathematics. ~ Floris van Doorn, Gabriel Ebner, Robert Y. Lewis. https://t.co/cMXbcRizhb…
RT @Jose_A_Alonso: Maintaining a library of formal mathematics. ~ Floris van Doorn, Gabriel Ebner, Robert Y. Lewis. https://t.co/cMXbcRizhb…
Maintaining a library of formal mathematics. ~ Floris van Doorn, Gabriel Ebner, Robert Y. Lewis. https://t.co/cMXbcRizhb #ITP #LeanProver #Math