Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
arXiv:2508.00015 · doi:10.4204/EPTCS.423.6
Abstract
We illustrate the power of partial-encapsulate, showing how it is used in the implementation of floating-point operations in ACL2.
In Proceedings ACL2 2025, arXiv:2507.18567