c-cube / quip

[wip] Proof format and checker for first-order and higher-order theorem provers
12Updated last year

Related projects

Alternatives and complementary repositories for quip