Abella Proof Assistant

Intermediate
@abella-prover

The Abella proof assistant project

abella-prover.org
0
Apply