Giters
MarisaKirisame
/
Coq_code
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
10
Watchers:
5
Issues:
16
Forks:
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 ago
Comments count
1
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 ago
Comments count
1
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 ago
Comments count
1