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/formal_book
Formalizing "Proofs from THE BOOK"
mo271/mo271.github.io
Source of Moritz Firsching's web page
mo271/guessaday
An android app for training mental calendar caculations
mo271/animate-lean-proofs
tool for turning Lean proofs into Blender animations
mo271/BeweiseMitComputer
mo271/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
mo271/klein
Source for Felix Klein Protokolle
mo271/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mo271/libjxl
JPEG XL image format reference implementation
mo271/self-organising-systems
mo271/timelib
A date and time library for Lean 4
mo271/EulerProducts
An attempt at formalizing facts on Euler products in Lean
mo271/firsch.ing
source for firsch.ing
mo271/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
mo271/gemma.cpp
lightweight, standalone C++ inference engine for Google's Gemma models.
mo271/HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
mo271/import-graph
Tool to analyse the import structure of lean projects.
mo271/jpegli
mo271/leanblueprint
plasTeX plugin to build formalization blueprints.
mo271/libjpeg
A complete implementation of 10918-1 (JPEG) coming from jpeg.org (the ISO group) with extensions for HDR, lossless and alpha channel coding standardized as ISO/IEC 18477 (JPEG XT).
mo271/mathlib4
Work in progress mathlib port for lean 4
mo271/MathlibSynergies
Materials for the hands-on Lean session during the [Combinatorial Coworkspace 2024](https://www.combinatorial-cowork.space/)
mo271/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
mo271/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
mo271/ringli
mo271/sage
Main repository of SageMath. Now open for Issues and Pull Requests.
mo271/testdata
mo271/TestProject
Testing weird filenames with doc4-gen
mo271/wpt
Test suites for Web platform specs — including WHATWG, W3C, and others
mo271/zimtohrli