Closed Tape Language (CTL) verifier

Sep 2022 · Frans Faase

Featured Links

Github	https://github.com/FransFaase/SymbolicTM
Chat about it	https://discord.com/channels/960643023006490684/1028746861395316776
Forum Link	https://discuss.bbchallenge.org/t/i-think-that-43-374-927-is-infinite/95
Highlighted message	https://discord.com/channels/960643023006490684/960643023530762341/1019001459825725480