Revision 203c0d4c48715e17f32365a29bfea45900c273f1 authored by Matthieu Sozeau on 24 September 2019, 19:00:17 UTC, committed by Matthieu Sozeau on 24 September 2019, 19:00:42 UTC
1 parent f800036
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 18 bytes |
| Extraction.v | -rw-r--r-- | 2.9 KB |
| PCUICAll.v | -rw-r--r-- | 735 bytes |
| PCUICAlpha.v | -rw-r--r-- | 32.3 KB |
| PCUICAst.v | -rw-r--r-- | 5.7 KB |
| PCUICAstUtils.v | -rw-r--r-- | 34.0 KB |
| PCUICChecker.v | -rw-r--r-- | 3.4 KB |
| PCUICCheckerCompleteness.v | -rw-r--r-- | 4.6 KB |
| PCUICClosed.v | -rw-r--r-- | 20.2 KB |
| PCUICConfluence.v | -rw-r--r-- | 97.1 KB |
| PCUICContextConversion.v | -rw-r--r-- | 29.8 KB |
| PCUICConversion.v | -rw-r--r-- | 31.5 KB |
| PCUICCumulativity.v | -rw-r--r-- | 7.9 KB |
| PCUICElimination.v | -rw-r--r-- | 10.4 KB |
| PCUICEquality.v | -rw-r--r-- | 45.2 KB |
| PCUICErasedTerm.v | -rw-r--r-- | 1.2 KB |
| PCUICGeneration.v | -rw-r--r-- | 2.2 KB |
| PCUICInduction.v | -rw-r--r-- | 4.5 KB |
| PCUICInversion.v | -rw-r--r-- | 8.1 KB |
| PCUICLiftSubst.v | -rw-r--r-- | 52.9 KB |
| PCUICLoader.v | -rw-r--r-- | 102 bytes |
| PCUICMetaTheory.v | -rw-r--r-- | 1022 bytes |
| PCUICNameless.v | -rw-r--r-- | 47.0 KB |
| PCUICNormal.v | -rw-r--r-- | 4.0 KB |
| PCUICParallelReduction.v | -rw-r--r-- | 92.4 KB |
| PCUICParallelReductionConfluence.v | -rw-r--r-- | 176.6 KB |
| PCUICPosition.v | -rw-r--r-- | 26.2 KB |
| PCUICPretty.v | -rw-r--r-- | 7.3 KB |
| PCUICPrincipality.v | -rw-r--r-- | 27.1 KB |
| PCUICReduction.v | -rw-r--r-- | 39.4 KB |
| PCUICReflect.v | -rw-r--r-- | 11.2 KB |
| PCUICRetyping.v | -rw-r--r-- | 7.1 KB |
| PCUICSN.v | -rw-r--r-- | 10.8 KB |
| PCUICSR.v | -rw-r--r-- | 28.9 KB |
| PCUICSafeLemmata.v | -rw-r--r-- | 46.3 KB |
| PCUICSigmaCalculus.v | -rw-r--r-- | 74.7 KB |
| PCUICSize.v | -rw-r--r-- | 3.8 KB |
| PCUICSubstitution.v | -rw-r--r-- | 88.4 KB |
| PCUICTyping.v | -rw-r--r-- | 84.1 KB |
| PCUICUnivSubst.v | -rw-r--r-- | 9.1 KB |
| PCUICUnivSubstitution.v | -rw-r--r-- | 48.4 KB |
| PCUICValidity.v | -rw-r--r-- | 13.5 KB |
| PCUICWcbvEval.v | -rw-r--r-- | 27.6 KB |
| PCUICWeakening.v | -rw-r--r-- | 42.3 KB |
| PCUICWeakeningEnv.v | -rw-r--r-- | 24.8 KB |
| README.md | -rw-r--r-- | 4.5 KB |
| TemplateToPCUIC.v | -rw-r--r-- | 2.8 KB |
| TemplateToPCUICCorrectness.v | -rw-r--r-- | 42.0 KB |
Computing file changes ...
