Istari

The Istari Library

• Acc (accessibility)
• Bar (partial types)
• Bool
• Decidable
• Finite
• Integer
• GirardParadox (type is not a type)
• Logic
• List
• Nat
• Natural (natural numbers using “native” arithmetic)
• Option
• Relations
• Stable
• Symbol
• Union (elimination forms for union and iexists)
• Wtype (well-founded types)

This site is open source. Improve this page.