vhyrro/treesitter-proofs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
4 commits 1 branch 0 tags 30 KiB
Find a file
Exact
vhyrro 89fea66ea2
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
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

README.md

treesitter-proofs