Commit c7cdeec

Virgil Marionneau

committed

Failed attempt at proving normalization, unclear if salvageable

1 parent 79c358a commit c7cdeecCopy full SHA for c7cdeec

1 file changed

+608

-0

lines changed

theories/LambdaCube
- SN.v

1 file changed

+608

-0

lines changed

Comments

(0)