Pinned Repositories
chomsky
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
duality
Duality theory in linear optimization and its extensions
fecssk
Formalisms Every Computer Scientist Should Know (course at ISTA)
grammars
Formal grammars in Lean 3
lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
lean4-cheatsheet
Printable (A4) overview of tactics in Lean 4 for beginners
lean4-koch
Koch 2D snowflake generator for 4D Golf
lean4-tactics
Overview of tactics in Lean 4 for beginners — longer version
lean4-tutorial
Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know
vcsp
General-Valued Constraint Satisfaction Problems
madvorak's Repositories
madvorak/lean4-tactics
Overview of tactics in Lean 4 for beginners — longer version
madvorak/lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
madvorak/lean4-cheatsheet
Printable (A4) overview of tactics in Lean 4 for beginners
madvorak/fecssk
Formalisms Every Computer Scientist Should Know (course at ISTA)
madvorak/vcsp
General-Valued Constraint Satisfaction Problems
madvorak/chomsky
Port https://github.com/madvorak/grammars/ to Lean 4 (wip)
madvorak/duality
Duality theory in linear optimization and its extensions
madvorak/lean4-koch
Koch 2D snowflake generator for 4D Golf
madvorak/lean4-tutorial
Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know
madvorak/lean-mam
Zdrojové kódy pro řešitele M&M témátka "Programování a dokazování v Leanu"
madvorak/matroids
Classes of matroids and their properties
madvorak/thue
Semi-Thue systems a.k.a. string rewriting systems
madvorak/4D-minigolf
Repository of fan-made tracks for 4D Golf
madvorak/lean4-showcase
Lean 4 showcase
madvorak/vscode-lean4-colors
My color settings for Lean 4 in VS Code
madvorak/madvorak.github.io
My new webpage
madvorak/carleson
A formalized proof of Carleson's theorem in Lean
madvorak/CvxLean
Convex optimization modeling in Lean 4
madvorak/fecssk-latex
madvorak/lean4-course
Stand-alone pre-semester Lean 4 course at ISTA
madvorak/lean4-exercises
madvorak/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
madvorak/lessons-learnt
TCS seminar talk
madvorak/relational-calculus
madvorak/SampCert
madvorak/std4
Standard Library for Lean 4
madvorak/sup-lean
Attempt at importing multiple Lean projects
madvorak/tao-pfr
madvorak/trimmer
Lean 4 script that removes trailing spaces in `.lean` files
madvorak/type_checking_in_lean4
Type Checking in Lean 4