Floris van Doorn's repositories
LogicColloquiumTutorial
The Lean tutorial for Logic Colloquium 2023
LeanInRome
Repository for the workshop Computer-verified proofs: 48 hours in Rome
BonnAnalysis
repository for the collaborative formalization seminar in Analysis in Bonn
HausdorffSchoolLean
Repository for the September 2023 Hausdorff School on Lean
chrome-lean-unicode
Type Lean unicode characters in your web browser
cryptomorphism
Studying cryptomorphisms in Lean
CWComplexes
In this repository I am collecting the code of my formalisation of CW-complexes in LEAN.
fpvandoorn.github.io
personal website
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
group-representations
The definition and basic properties of representations of groups in the Lean theorem prover
hanabi-conventions
A list of Hanabi strategies
hanabi-scratchpad
Various random files about hanabi
lean4
Lean 4 programming language and theorem prover
leanblueprint
plasTeX plugin to build formalization blueprints.
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
omsi-loops
Incremental games and tools for them.
vscode-lean
An extension for VS Code which provides support for the Lean language.
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant