Math
Math-related libraries: arithmetic, algebra, bit-vectors.
Subtopics
- 100-theorems
- ACL2 versions of (some of) the Top 100 Theorems List
- Arithmetic
- Libraries for reasoning about basic arithmetic, bit-vector
arithmetic, modular arithmetic, etc.
- Bit-vectors
- Libraries for reasoning about bit vectors.
- Algebra
- Libraries to reason about algebraic structures, e.g. groups, rings, fields, polynomials.
