• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Community
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
      • Kestrel-books
      • X86isa
      • Axe
        • Axe-r1cs
        • Axe-lifters
        • Axe-core
          • Prove-equal-with-axe
          • Dags
          • Stp
          • Rewriter-legacy
          • Rewriter-basic
            • Rewriter-alt
            • Prover-basic
            • Make-rewriter-simple
            • Make-prover-simple
            • Defthm-stp
            • Defthm-axe-basic
            • Def-simplified
            • Prover-legacy
          • Axe-provers
          • Axe-rewriters
          • Axe-jvm
          • Axe-x86
        • Execloader
      • Math
      • Testing-utilities
    • Axe-core
    • Axe-rewriters

    Rewriter-basic

    A basic, modern Axe rewriter.

    See rewriter-basic.lisp.