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