All 36 Packages
- axiom — Standard axioms
- base — The standard theory library
- bool — Boolean operators and quantifiers
- byte — Bytes
- char — Unicode characters
- empty — The empty theory
- function — Function operators and combinators
- gfp — Parametric theory of GF(p) finite fields
- group — Parametric theory of groups
- h — Memory safety for the H interface
- hardware — Hardware devices
- list — List types
- map-reduce-bit3x3 — The map reduce 3x3 bit matrix example
- modular — Parametric theory of modular arithmetic
- monoid — Parametric theory of monoids
- monoid-comm — Commutative monoids
- montgomery — Montgomery multiplication
- natural — The natural numbers
- natural-bits — Natural number to bit-list conversions
- natural-divides — The divides relation on natural numbers
- natural-fibonacci — Fibonacci numbers
- natural-prime — Prime natural numbers
- option — Option types
- pair — Product types
- parser — Stream parsers
- probability — Probability
- real — The real numbers
- relation — Relation operators
- set — Set types
- stream — Infinite stream types
- sum — Sum types
- unit — The unit type
- word — Parametric theory of words
- word10 — 10-bit words
- word12 — 12-bit words
- word16 — 16-bit words
Mordor OpenTheory Repo, maintained by