papers

21st Century Proof :: Structure makes it possible, hard work makes it probable
Sep 13, 2021 papers