Axioms
3 axioms detected in project dependencies
Standard Axioms (3)
| Name | Module |
|---|---|
| Quot.sound | Init.Core |
| propext | Init.Core |
| Classical.choice | Init.Prelude |
3 axioms detected in project dependencies
| Name | Module |
|---|---|
| Quot.sound | Init.Core |
| propext | Init.Core |
| Classical.choice | Init.Prelude |