madvorak/lean4-tutorial madvorak/lean4-tutorial

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Lean
  • License
    The Unlicense
  • Created 10 months ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
madvorak/lean4-tutorial
github

madvorak

Reviews

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

Repository Details

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

More Repositories

1

lean4-tactics

Overview of tactics in Lean 4 for beginners — longer version
46
star
2

lean3-tactic-lean4

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

lean4-cheatsheet

Printable (A4) overview of tactics in Lean 4 for beginners
TeX
20
star
4

read-lean

How to read Lean
Lean
14
star
5

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)
Lean
12
star
6

vcsp

General-Valued Constraint Satisfaction Problems
Lean
9
star
7

grammars

Formal grammars in Lean 3
Lean
6
star
8

chomsky

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

duality

Duality theory in linear optimization and its extensions
Lean
5
star
10

lean4-koch

Koch 2D snowflake generator for 4D Golf
Lean
3
star
11

matroids

Classes of matroids and their properties
Lean
2
star
12

lean-mam

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

thue

Semi-Thue systems a.k.a. string rewriting systems
Lean
2
star
14

lean4-showcase

Lean 4 showcase
Lean
1
star
15

mltt

Rules of the Martin-Löf type theory
TeX
1
star
16

vscode-lean4-colors

My color settings for Lean 4 in VS Code
1
star
17

nuke

Democratizing nuclear energy!
Shell
1
star
18

4D-minigolf

Repository of fan-made tracks for 4D Golf
Roff
1
star
19

grammars-slides

TeX
1
star