This is your work, valued

Abella Proof Assistant

Intermediate
@abella-prover

The Abella proof assistant project

abella-prover.org