Judah Towery

jjtowery

https://towery.xyz

Languages

Lean33%TeX33%C33%

Repositories

5

jjtowery/Bicategorical-Whitehead

No description provided.

Lean00Updated 1 day ago

jjtowery/mathlib4Fork

The math library of Lean 4

00Updated 3 months ago

jjtowery/infinity-cosmosFork

A blueprint for a formalization of infinity-cosmos theory in Lean.

TeX00Updated 3 months ago

jjtowery/acornlibFork

Acorn's standard library of mathematical facts.

00Updated 9 months ago

jjtowery/equational_theoriesFork

A project to map out the relations between different equational theories of Magmas.

C00Updated 1 year ago

Gists

Recent Activity