Feature request: multiple proofs of the same theorem - Githubissues

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

Feature request: multiple proofs of the same theorem #133

Open chaudhuri opened 3 years ago

chaudhuri commented 3 years ago

The issue was filed by @ThatDaleMiller here:

https://github.com/abella-prover/abella-prover.org/issues/12