MarisaKirisame / Coq_code

MarisaKirisame/Coq_code Issues

use rewrite? instead of try rewrite
Closed 8 years ago
Use [Generalizable All Variables.]
Closed 8 years ago
Generalize Inclusion Exclusion Principl
Closed 8 years ago
Add system T
Closed 8 years ago
Use coq makefile
Closed 8 years ago
Synthesis both of the isomorphism function instead of one of them in seven tree in one
Updated 9 years ago
Type in Type Paradox should not be dependent on eq_rect_eq
Closed 9 years ago1
Fix seven tree in one.
Closed 9 years ago
Add proof by reflection for m91.
Updated 9 years ago
Add memorization for m91
Updated 9 years ago
Fix miu
Updated 9 years ago
Move stuff in seven tree in one to Coq_common
Closed 9 years ago1
Move stuff out
Closed 9 years ago
Replace Load with Require
Closed 9 years ago
Change Module to Class.
Closed 9 years ago
Wrong name
Closed 9 years ago1