madvorak

lean4-tactics

Overview of tactics in Lean 4 for beginners — longer version

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

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)

vcsp

General-Valued Constraint Satisfaction Problems

chomsky

Port https://github.com/madvorak/grammars/ to Lean 4 (wip)

grammars

Formal grammars in Lean 3

lean4-koch

Koch 2D snowflake generator for 4D Golf

lean4-tutorial

Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know

lean-mam

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

matroids

Classes of matroids and their properties

4D-minigolf

Repository of fan-made tracks for 4D Golf

lean4-showcase

Lean 4 showcase

thue

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

vscode-lean4-colors

My color settings for Lean 4 in VS Code

madvorak.github.io

My new webpage

CvxLean

Convex optimization modeling in Lean 4

fecssk-latex

lean4-course

Stand-alone pre-semester Lean 4 course at ISTA

lean4-exercises

LeanCamCombi

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lessons-learnt

TCS seminar talk

lftcm2023

SampCert

std4

Standard Library for Lean 4

sup-lean

Attempt at importing multiple Lean projects

tao-pfr

trimmer

Lean 4 script that removes trailing spaces in `.lean` files

type_checking_in_lean4

Type Checking in Lean 4