projects / helm.git / tree
| -rw-r--r-- | 4954 | Berardi.mma | blob | raw |
| -rw-r--r-- | 3528 | ChoiceFacts.mma | blob | raw |
| -rw-r--r-- | 1806 | Classical.mma | blob | raw |
| -rw-r--r-- | 2266 | ClassicalChoice.mma | blob | raw |
| -rw-r--r-- | 2652 | ClassicalDescription.mma | blob | raw |
| -rw-r--r-- | 7119 | ClassicalFacts.mma | blob | raw |
| -rw-r--r-- | 2464 | Classical_Pred_Set.mma | blob | raw |
| -rw-r--r-- | 2474 | Classical_Pred_Type.mma | blob | raw |
| -rw-r--r-- | 2898 | Classical_Prop.mma | blob | raw |
| -rw-r--r-- | 1820 | Classical_Type.mma | blob | raw |
| -rw-r--r-- | 2673 | Decidable.mma | blob | raw |
| -rw-r--r-- | 3695 | Diaconescu.mma | blob | raw |
| -rw-r--r-- | 5040 | Eqdep.mma | blob | raw |
| -rw-r--r-- | 4268 | Eqdep_dec.mma | blob | raw |
| -rw-r--r-- | 3448 | Hurkens.mma | blob | raw |
| -rw-r--r-- | 2740 | JMeq.mma | blob | raw |
| -rw-r--r-- | 4795 | ProofIrrelevance.mma | blob | raw |
| -rw-r--r-- | 1861 | RelationalChoice.mma | blob | raw |