No description
Find a file
vhyrro 89fea66ea2
Some checks failed
Lean Action CI / build (push) Has been cancelled
refactor: move to separate files
2025-10-17 22:43:06 +02:00
.github/workflows feat: initial commit 2025-10-16 23:25:38 +02:00
TreesitterProofs refactor: move to separate files 2025-10-17 22:43:06 +02:00
.gitignore feat: initial commit 2025-10-16 23:25:38 +02:00
lake-manifest.json feat: initial commit 2025-10-16 23:25:38 +02:00
lakefile.toml feat: initial commit 2025-10-16 23:25:38 +02:00
lean-toolchain feat: basic features 2025-10-17 20:45:02 +02:00
node-types.json feat: initial commit 2025-10-16 23:25:38 +02:00
README.md feat: initial commit 2025-10-16 23:25:38 +02:00
TreesitterProofs.lean refactor: move to separate files 2025-10-17 22:43:06 +02:00

treesitter-proofs