projects / helm.git / tree
| -rw-r--r-- | 4982 | Berardi.mma | blob | raw |
| -rw-r--r-- | 3556 | 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-- | 7147 | 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-- | 2701 | Decidable.mma | blob | raw |
| -rw-r--r-- | 3695 | Diaconescu.mma | blob | raw |
| -rw-r--r-- | 5068 | Eqdep.mma | blob | raw |
| -rw-r--r-- | 4296 | Eqdep_dec.mma | blob | raw |
| -rw-r--r-- | 3476 | Hurkens.mma | blob | raw |
| -rw-r--r-- | 2740 | JMeq.mma | blob | raw |
| -rw-r--r-- | 4795 | ProofIrrelevance.mma | blob | raw |
| -rw-r--r-- | 1889 | RelationalChoice.mma | blob | raw |