(Invalid_argument "List.nth") on 'unfold 0'. - 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

(Invalid_argument "List.nth") on 'unfold 0'. #94

Closed chaudhuri closed 7 years ago