meta-logic / sequoia

Design, play with, and analyze sequent calculus proof systems.
13Updated 2 months ago

Related projects

Alternatives and complementary repositories for sequoia