Martin Dvořák

lean4-tactics. Overview of tactics in Lean 4 for beginners — longer version

lean4-cheatsheet. Printable (A4) overview of tactics in Lean 4 for beginners

read-lean. How to read Lean

lean3-tactic-lean4. Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4

fecssk. Formalisms Every Computer Scientist Should Know (course at ISTA)

duality. Duality theory in linear optimization and its extensions

vcsp. General-Valued Constraint Satisfaction Problems

grammars. Formal grammars in Lean 3

chomsky. Port https://github.com/madvorak/grammars/ to Lean 4

formalisms. Supplementary material for Formalisms Every Computer Scientist Should Know 2024 (course at ISTA)

lean4-tutorial. Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know

lean4-koch. Koch 2D snowflake generator for 4D Golf

vscode-lean4-colors. My color settings for Lean 4 in VS Code

lean-mam. Zdrojové kódy pro řešitele M&M témátka "Programování a dokazování v Leanu"

thue. Semi-Thue systems a.k.a. string rewriting systems

matroids. Classes of matroids and their properties

4D-minigolf. Repository of fan-made tracks for 4D Golf

lean4-showcase. Lean 4 showcase

mltt. Rules of the Martin-Löf type theory

nuke. Democratizing nuclear energy!

lean4-sorting. Lean

grammars-slides. TeX