Pinned Repositories
attention-center
mathlib4
The math library of Lean 4
libjxl
JPEG XL image format reference implementation
almanac.httparchive.org
HTTP Archive's annual "State of the Web" report made by the web community
animate-lean-proofs
tool for turning Lean proofs into Blender animations
formal_book
Formalizing "Proofs from THE BOOK"
guessaday
An android app for training mental calendar caculations
klein
Source for Felix Klein Protokolle
mo271.github.io
Source of Moritz Firsching's web page
stirling
A proof of Stirling's formula in Lean
mo271's Repositories
mo271/theran.github.io
Louis's Homepage
mo271/Anki-Android
AnkiDroid: Anki on Android
mo271/dotfiles
my dotfiles
mo271/models
some models for 3d printing
mo271/mpir
Multiple Precision Integers and Rationals
mo271/pypolymake
Python wrappers for polymake
mo271/PySCIPOpt
Python interface for the SCIP Optimization Suite
mo271/SNAPSHOTS
LaTeX document class for the snapshots of modern mathematics from Oberwolfach