Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Coq
- Set = { nat, list, ... }
- Prop = { le, ... }
- Type(1) = { Set, Prop, nat, list, le, ... }
- Type(2) = { Type(1), Set, Prop, nat, list, le ...}
- Lean
- Set = { nat, list, ... }
- Prop = { le, ... }
- Type(1) = { Set, Prop }
- Type(2) = { Type(1) }
- Type(3) = { Type(2) }
- ...
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
