DESIGN
Create, save, modify, and manage your own calculi.
Create, save, modify, and manage your own calculi.
Build proof trees in your calculus and understand how the rules interact. You can use concrete or schematic sequents.
Investigate meta-theoretical properties for your calculus systems (such as identity expansion, weakening admissibility, and permutability of rules). Sequoia is able to infer most of the trivial cases automatically.
