search

abella-prover / abella

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

Implement compute #116

Open chaudhuri opened 5 years ago

chaudhuri commented 5 years ago

Relevant proposal: https://hal.inria.fr/hal-01806154

This will subsume #35.