davidmichaelroberts Goto Github PK

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

davidmichaelroberts.github.io

dedekind_2nd_def

This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether

fidgit

An ungodly union of GitHub and Figshare

flt

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

forallx-adl

Antony Eagle's Adelaide fork of Tim Button's Cambridge version of forallx

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

latex-template

nlab

The customized version of Instiki that powers the nLab.

public_papers

pursuingstacks

LaTeX version of Grothendieck's Pursuing Stacks

sandbox

This is a place for sharing rough things

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.

tao_1983

Terry Tao's first published paper

twitter-archive-parser

Python code to parse a Twitter archive and output in various ways