-
v0.1.2
Formals are encoded as dependent telescopes Documentation on tests
-
v0.1.1
Fixed telescope encoding Proper failure for tests
-
v0.1
First release: curate version 20220205 Contains the PVS patch to export theories and the lambdapi encoding to typecheck the translation. Depends on - PVS7.1, - lambdapi https://github.com/gabrielhdt/lambdapi, rev a4853bc29b437a9fb639592cefe2c7ba32abf440
-
20220205
End of SRI visit Requires - lambdapi https://github.com/gabrielhdt/lambadpi rev. 26595123d2dd8b98289a3bc9ece76afbe93d1492 - PVS7.1 (sbcl or allegro)