MarisaKirisame/Coq_code

Issues

• use rewrite? instead of try rewrite

  #13 opened 8 years ago by MarisaKirisame
  0

• Use [Generalizable All Variables.]

  #12 opened 8 years ago by MarisaKirisame
  0

• Generalize Inclusion Exclusion Principl

  #5 opened 8 years ago by MarisaKirisame
  0

• Add system T

  #7 opened 8 years ago by MarisaKirisame
  0

• Use coq makefile

  #14 opened 8 years ago by MarisaKirisame
  0

• Synthesis both of the isomorphism function instead of one of them in seven tree in one

  #16 opened 9 years ago by MarisaKirisame
  0

• Type in Type Paradox should not be dependent on eq_rect_eq

  #15 opened 9 years ago by MarisaKirisame
  1

• Fix seven tree in one.

  #8 opened 9 years ago by MarisaKirisame
  0

• Add proof by reflection for m91.

  #11 opened 9 years ago by MarisaKirisame
  0

• Add memorization for m91

  #10 opened 9 years ago by MarisaKirisame
  0

• Fix miu

  #9 opened 9 years ago by MarisaKirisame
  0

• Move stuff in seven tree in one to Coq_common

  #6 opened 10 years ago by MarisaKirisame
  1

• Move stuff out

  #1 opened 10 years ago by MarisaKirisame
  0

• Replace Load with Require

  #2 opened 10 years ago by MarisaKirisame
  0

• Change Module to Class.

  #4 opened 10 years ago by MarisaKirisame
  0

• Wrong name

  #3 opened 10 years ago by MarisaKirisame
  1