GitHub - Jasper-Robb/CombOnWords2: Proving theorems in combinatorics on words using Lean 4. · GitHub

Name		Name	Last commit message	Last commit date
CombOnWords2		CombOnWords2
Chapter 1.pdf		Chapter 1.pdf
CombOnWords2.lean		CombOnWords2.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

About

Proving theorems in combinatorics on words using Lean 4.

combinatorics-on-words lean4

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages