madvorak/lean3-tactic-lean4

Stars
23
Rank 1,016,462 (Top 21 %)
Language
License
The Unlicense
Created almost 2 years ago
Updated 3 months ago

madvorak/lean3-tactic-lean4

madvorak

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)

vcsp

General-Valued Constraint Satisfaction Problems

grammars

Formal grammars in Lean 3

chomsky

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

duality

Duality theory in linear optimization and its extensions

lean4-tutorial

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

lean4-koch

Koch 2D snowflake generator for 4D Golf

matroids

Classes of matroids and their properties

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

lean4-showcase

Lean 4 showcase

mltt

Rules of the Martin-Löf type theory

vscode-lean4-colors

My color settings for Lean 4 in VS Code

nuke

Democratizing nuclear energy!

4D-minigolf

Repository of fan-made tracks for 4D Golf

grammars-slides