search

abella-prover / abella-prover.org

The web-site for Abella
http://abella-prover.org
2 stars 3 forks source link

Suggested path example is not correct #9

Closed amerikan closed 5 years ago

chaudhuri commented 5 years ago

Thanks!