Formalising modern research mathematics in real time
Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://xenaproject.wordpress.com/2023/11/04/formalising-modern-research-mathematics-in-real-time/
Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://xenaproject.wordpress.com/2023/11/04/formalising-modern-research-mathematics-in-real-time/