Repos
83
Stars
228
Forks
114
Top Language
Lean
Loading contributions...
Top Repositories
Repositories
83A formalized proof of Carleson's theorem in Lean
repository for the collaborative formalization seminar in Analysis in Bonn
Bonn Lean course for winter 24/25
Formalizing Value Distribution Theory
personal website
No description provided.
Work in progress mathlib port for lean 4
Links to recourses for the Lean Theorem Prover
A fun project to define the card game hanabi in Lean
A collection of formalized statements of conjectures in Lean.
Topos theory in Lean 4
ErgodicAverages
No description provided.
Dagstuhl's Happy Diner Problem
Fork of https://git.abstractnonsen.se/Hanabi/Py-Hanabi.git
Past contents of Lean Seminars in Bonn
The Lean tutorial for Logic Colloquium 2023
A list of Hanabi strategies
These are the lecture notes for the course "Logic of Proof Assistants" taught in Bonn in the summer term 2025 by Prof. van Doorn.
Repository for the workshop Computer-verified proofs: 48 hours in Rome
The Lean reference manual
No description provided.
An introduction to theorem proving in Lean for the impatient.
Formalizing some theorems about Demazure operators in Lean4
The definition and basic properties of representations of groups in the Lean theorem prover
Lean 4 programming language and theorem prover
Source code for the Mathematics in Lean tutorial.
Work towards a general version of Sard's theorem in Lean 4
A project to map out the relations between different equational theories of Magmas.
No description provided.