Pinned Repositories
AlgebraicTopology2019
Course notes for Pure Mathematics Topic D 2019
aperiodic-monotile
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
categories-mailing-
catlog
Categorical logic from a categorical point of view
ChainBounding
Formalization of a simpler proof of Zorn's Lemma
codeloops
Loops created from doubly even binary codes
con-nf
A formal consistency proof of Quine's set theory New Foundations
Dedekind_2nd_def
This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
Sandbox
This is a place for sharing rough things
Tao_1983
Terry Tao's first published paper
DavidMichaelRoberts's Repositories
DavidMichaelRoberts/AlgebraicTopology2019
Course notes for Pure Mathematics Topic D 2019
DavidMichaelRoberts/Tao_1983
Terry Tao's first published paper
DavidMichaelRoberts/Sandbox
This is a place for sharing rough things
DavidMichaelRoberts/Dedekind_2nd_def
This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
DavidMichaelRoberts/aperiodic-monotile
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
DavidMichaelRoberts/categories-mailing-
DavidMichaelRoberts/catlog
Categorical logic from a categorical point of view
DavidMichaelRoberts/ChainBounding
Formalization of a simpler proof of Zorn's Lemma
DavidMichaelRoberts/codeloops
Loops created from doubly even binary codes
DavidMichaelRoberts/con-nf
A formal consistency proof of Quine's set theory New Foundations
DavidMichaelRoberts/DavidMichaelRoberts.github.io
DavidMichaelRoberts/fidgit
An ungodly union of GitHub and Figshare
DavidMichaelRoberts/forallx-adl
Antony Eagle's Adelaide fork of Tim Button's Cambridge version of forallx
DavidMichaelRoberts/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
DavidMichaelRoberts/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
DavidMichaelRoberts/hopf_fibration
Modifications of Niles Johnson's Hopf Fibration drawing code
DavidMichaelRoberts/latex-template
DavidMichaelRoberts/nlab
The customized version of Instiki that powers the nLab.
DavidMichaelRoberts/Public_papers
DavidMichaelRoberts/PursuingStacks
LaTeX version of Grothendieck's Pursuing Stacks
DavidMichaelRoberts/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
DavidMichaelRoberts/twitter-archive-parser
Python code to parse a Twitter archive and output in various ways