search

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
https://abella-prover.org/
GNU General Public License v3.0
89 stars 18 forks source link

monotone tactic doesn't accept hypothesis-naming hints #91

Closed lambdacalculator closed 7 years ago