Experimental Prover for Tope Logic
An experimental decision procedure for the tope layer of Riehl–Shulman type theory with shapes — the same prover used internally by rzk, and packaged standalone as simple-topes.
Related paper: see publication.
An experimental decision procedure for the tope layer of Riehl–Shulman type theory with shapes — the same prover used internally by rzk, and packaged standalone as simple-topes.
Related paper: see publication.