• Amin Timany's avatar
    Change congruence lemmas of Fμ,ref,par · a17bf389
    Amin Timany authored
    The case of lam and case expressions that before required the terms to be
    well-typed now require terms to be closed.
    
    Separated definition context and context refinement from soundness_binary file.
    a17bf389
Name
Last commit
Last update
F_mu Loading commit data...
F_mu_ref Loading commit data...
F_mu_ref_par Loading commit data...
prelude Loading commit data...
stlc Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
_CoqProject Loading commit data...