Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

sorear/metamath-turing-machines

metamath proof enumerators and other things

Owner: sorear (personal account)
Stars: Stars: 100
Forks: Forks: 15
Language: Tcl
License: MIT
Created: 2016
Tier: Prototype (100 to 249 ★) What this tier means

More repos by sorear

All 2 repos by sorear

sorear/nieczaStars: 152C#Prototype

Nearby in Tcl

ApacheFriends/xampp-buildStars: 102TclPrototype
cambridgehackers/fpgamakeStars: 101TclPrototype
jiangwx/SkrSkrStars: 101TclPrototype