About the archive
What a repository is
Modern Math is a collaborative project of Logica Artificialis. It keeps the latest version of each Zenodo concept: the highest record number DataCite lists for that concept DOI. The work is held in common. Names on a deposit are the names on that record.
What was uploaded is what you see. Nothing else is filled in.
Get in touch at logicartificialis.org or logicartificialis@gmail.com. Subscribe to the mailing list at logicartificialis@googlesites.com.
146 latest deposits · 144 with a PDF · 144 with LaTeX · 8 with Python · 1 with Lean · 67 name a GitHub repository
The files
Almost every deposit includes a PDF and a LaTeX source. One version currently lists no files at all. Python, Lean, notes, bibliographies, and data appear only when those files are on the record. A Lean file here is a file that was uploaded, not a claim that a certificate is complete.
Text sources are read from Zenodo in the browser. The PDF opens on Zenodo: that host refuses to be framed on another site. Large bibliographies are linked, not pasted into the page.
Three addresses
Zenodo is the deposit of record. Every page names the version DOI, the concept DOI, the license, and how many versions DataCite counts. On this shelf the license is CC BY 4.0.
GitHub is shown when the manuscript names a repository under github.com/eulogica. The link is that address. It is not a check that the repository is public.
Obsidian is not named on these deposits. The archive does not invent a vault note.
Shelf marks
The mark you keep is the version DOI. Your shelf, in this browser, is a reading list of those DOIs. It is not an account, and it does not leave this browser.
Companions
Modern Math is a collaborative project of Logica Artificialis, beside Distilled Proof. The institute asks what a machine can check. The still asks how a draft becomes a signed argument.
Browse the catalog