Tree @
master
(
Download .tar.gz
)
..
burro-1.0.md
Finding-a-Proof-of-Turing-completeness.md
How-the-Turmac-to-Kondey-Backend-Works.md
The-Sense-in-which-Burro-Programs-form-a-Group.md
Turing-completeness-of-Burro.md
History of doc
/
Finding-a-Proof-of-Turing-completeness.md
@
master
git clone https://git.catseye.tc/Burro/
More writing in the finding-a-proof document.
Chris Pressey
10 days ago
Add TC proof generated by Claude Opus-4.8 & supporting materials.
Chris Pressey
10 days ago