David Roberts's repositories
AlgebraicTopology2019
Course notes for Pure Mathematics Topic D 2019
Dedekind_2nd_def
This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether
aperiodic-monotile
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
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
fidgit
An ungodly union of GitHub and Figshare
forallx-adl
Antony Eagle's Adelaide fork of Tim Button's Cambridge version of forallx
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
hopf_fibration
Modifications of Niles Johnson's Hopf Fibration drawing code
PursuingStacks
LaTeX version of Grothendieck's Pursuing Stacks
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.
twitter-archive-parser
Python code to parse a Twitter archive and output in various ways