- Nov 27, 2020
- Oct 20, 2020
-
-
hondet authored
-
- Jul 24, 2020
-
-
gabrielhdt authored
-
- Jun 17, 2020
-
-
gabrielhdt authored
- renamed subtype to subtype_poly - pi function does not have implicit arguments anymore - changed a rewrite rule into an axiom - added wip tuples
-
- May 26, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
- May 22, 2020
-
-
gabrielhdt authored
-
- May 17, 2020
-
-
gabrielhdt authored
-
- May 14, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
- May 11, 2020
-
-
gabrielhdt authored
-
- Apr 27, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
- Apr 22, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
- Apr 17, 2020
-
-
gabrielhdt authored
-
- Apr 15, 2020
-
-
gabrielhdt authored
-
- Apr 08, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
- Mar 30, 2020
-
-
gabrielhdt authored
-
- Mar 24, 2020
-
-
gabrielhdt authored
-
- Mar 21, 2020
-
-
gabrielhdt authored
- lambdapi.pkg - no cert_f subfolder everywhere
-
- Mar 17, 2020
-
-
gabrielhdt authored
-
- Mar 12, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
gabrielhdt authored
-
- Mar 11, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
- Mar 10, 2020
-
-
gabrielhdt authored
-
- Mar 09, 2020
-
-
gabrielhdt authored
-
gabrielhdt authored
-
- Mar 05, 2020
-
-
gabrielhdt authored
-