This is the code files for my demo presentation to the 2020 IMO Workshop.
Primary LanguageJupyter NotebookBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause