The following pages link to PREVAIL (Q14658):
Displaying 4 items.
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- Functional verification of high performance adders in \textsc{Coq} (Q2336214) (← links)
- The automation of proof by mathematical induction (Q2751365) (← links)
- (Q4873997) (← links)