Overview
  • The Executable Formal Models Project
  • ACL2 limitations and suggested enhancements

    • #. (read time form evaluation)

    • DEFABBREV

    • Modular Arithmetic
PREVIOUS SLIDE SLIDE INDEX NEXT SLIDE