Tree @
master
(
Download .tar.gz
)
..
Burro-Tests.md
Kondey-Tests.md
Turmac-Tests.md
History of tests
@
master
git clone https://git.catseye.tc/Burro/
Add TC proof generated by Claude Opus-4.8 & supporting materials.
Chris Pressey
15 days ago
Split Burro and Kondey tests into two discrete files.
Chris Pressey
a month ago