Pages that link to "Item:Q928668"

The following pages link to Rewriting with equivalence relations in ACL2 (Q928668):

Displaying 3 items.

• The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
• A formalization of powerlist algebra in ACL2 (Q846164) (← links)
• Limited second-order functionality in a first-order setting (Q2303245) (← links)