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

Skip to content

Latest commit

History

Folders and files

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.

Topics

combinatorics-on-words lean4

Stars

1 star

Watchers

2 watching

Forks

Report repository

Releases

Packages

Contributors

Languages