Markus Himmel's repositories
lean-homological-algebra
Lean formalizations of things loosely related to homological algebra
EmbeddingTheorem
A lecture on a proof of the Freyd-Mitchell Embedding Theorem
supreme-pancake
Technical report on the architecture of the GUI of the Windows operating system
Abschlussaufgaben-Tests2
Tests fĂĽr die zweite Abschlussaufgabe
Language:JavaMIT000
Language:RustApache-2.0000
Language:JavaApache-2.0000
Language:RustApache-2.0000
Http.lean
HTTP Primitives for Lean4
Apache-2.0000
lean-dpll
A formally verified implementation of the DPLL algorithm
Language:LeanApache-2.0000
Language:LeanApache-2.0000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
MIT000
lect
Tool for organizing lecture notes
Language:PythonApache-2.0000
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
merlin-hunt
A puzzle hunt for people who know how to program
Language:JavaApache-2.0000
mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
partiii
Lecture notes for Part III of the Mathematical Tripos
Language:TeX000
Language:JavaApache-2.0000
000
verso
Lean documentation authoring tool
Apache-2.0000