Stars
A digital archive of category theory papers.
Lean theorem proving interface which feels like pen-and-paper proofs.
Template to effortlessly build math-rich websites
A program for making zooming slides in figma.
A graphical interactive proof assistant designed for education
A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
String Diagrams for Assembly Planning
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
An easy to use Neural Search Engine. Index latent vectors along with JSON metadata and do efficient k-NN search.
A multi-model machine learning feature embedding database
Miscellaneous proofs made while learning and practicing Lean.
The user home repository for the Mathematics in Lean tutorial.
Lean formalizations of things loosely related to homological algebra
Companion files for Logical Verification 2020–2021 at VU Amsterdam
Source code for the Mathematics in Lean tutorial.