simple-topes

simple-topes is a playground theorem prover project for type theory with shapes that allows user-defined cubes and topes. Once stable, the project will be merged into rzk, extending it to a proof assistant for type theory with (user-defined) cubes, topes, and shapes.

See more details in the documentation of the project at https://github.com/fizruk/simple-topes.