System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby.

Dakotah Lambert

Browse the full FLOPS paper archive.