https://github.com/mo271/FormalBook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 10 Jul 2025

https://github.com/mo271/formalbook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 06 Mar 2026

https://github.com/mo271/mo271.github.io

Source of Moritz Firsching's web page

Last synced: 12 Apr 2025

https://github.com/mo271/guessaday

An android app for training mental calendar caculations

Last synced: 27 Jul 2025

https://github.com/mo271/arxiv-comments

arXiv comment extractor

Last synced: 29 Jul 2025

https://github.com/mo271/stirling

A proof of Stirling's formula in Lean

Last synced: 19 Mar 2026

https://github.com/mo271/models

some models for 3d printing

Last synced: 15 Feb 2026

https://github.com/mo271/faulhaber

A lean proof of Faulhaber's theorem

Last synced: 06 Jan 2026

https://github.com/mo271/klein

Source for Felix Klein Protokolle

Last synced: 03 Feb 2026

https://github.com/mo271/small_polytopes

Last synced: 19 Mar 2026

https://github.com/mo271/beweisemitcomputer

Last synced: 19 Mar 2026

https://github.com/mo271/emoji-test

Testing emoji rendering

Last synced: 19 Mar 2026

https://github.com/mo271/label_colors_test

Playing with readability of github labels

Last synced: 19 Mar 2026

https://github.com/mo271/testproject

Testing weird filenames with doc4-gen

Last synced: 06 Feb 2026

https://github.com/mo271/docgentest

Last synced: 24 Jan 2026

https://github.com/mo271/pythagopic

Generating an image with Pythagorean triples

Last synced: 06 Feb 2026

https://github.com/mo271/mathlibsynergies

Materials for the hands-on Lean session during the [Combinatorial Coworkspace 2024](https://www.combinatorial-cowork.space/)

Last synced: 14 Feb 2026

https://github.com/mo271/firsch.ing

source for firsch.ing

Last synced: 05 Jan 2026

https://github.com/mo271/mwe

mwe for lean4

Last synced: 19 Mar 2026

https://github.com/mo271/dotfiles

my dotfiles

Last synced: 05 Jan 2026