Martin Dvořák (@madvorak)
github

madvorak

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    159
  • Global Rank 147,151 (Top 6 %)
  • Followers 37
  • Following 49
  • Registered almost 11 years ago
  • Most used languages
    Lean     70.6 %
    TeX
         17.6 %
    Shell
         5.9 %
    Roff     5.9 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 2,118
  • Country Ranking
    Lean     1
    TeX
         11
    Roff     12
    Shell
         736

Top 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-tutorial

Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know
Lean
3
star
11

lean4-koch

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

matroids

Classes of matroids and their properties
Lean
2
star
13

lean-mam

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

thue

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

lean4-showcase

Lean 4 showcase
Lean
1
star
16

mltt

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

vscode-lean4-colors

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

nuke

Democratizing nuclear energy!
Shell
1
star
19

4D-minigolf

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

grammars-slides

TeX
1
star