ULKB

Universal Logic Knowledge Base

Contents

• Object
• Expression
• Type constructor
• Type
• Term
• Prelude
• Extension
• Theory
• Commands
• Conversion, parsing, serialization
• Appendix: More object methods
• Appendix: Utilities

Indices and tables

• Index

• Search Page