Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mo271
A curated list of projects in awesome lists by mo271 .
https://github.com/mo271/formalbook
Formalizing "Proofs from THE BOOK"
formal-proofs lean mathematics
Last synced: 04 Dec 2024
https://github.com/mo271/FormalBook
Formalizing "Proofs from THE BOOK"
formal-proofs lean mathematics
Last synced: 21 Nov 2024
https://github.com/mo271/mo271.github.io
Source of Moritz Firsching's web page
Last synced: 04 Dec 2024
https://github.com/mo271/guessaday
An android app for training mental calendar caculations
Last synced: 15 Oct 2024
https://github.com/mo271/pythagopic
Generating an image with Pythagorean triples
Last synced: 04 Dec 2024
https://github.com/mo271/mathlibsynergies
Materials for the hands-on Lean session during the [Combinatorial Coworkspace 2024](https://www.combinatorial-cowork.space/)
Last synced: 04 Dec 2024
https://github.com/mo271/label_colors_test
Playing with readability of github labels
Last synced: 04 Dec 2024