Zulip Chat Archive
Stream: Xena Summer Projects
Topic: Exp Math special issue
Kevin Buzzard (May 15 2020 at 20:20):
The journal Experimental Mathematics has a special issue devoted to interactive theorem proving! This would be an ideal place for Xena Summer Project 2020 people to submit their work.
Jalex Stark (May 15 2020 at 21:17):
undergrad journal paper machine goes brr
Last updated: Dec 20 2023 at 11:08 UTC