Cited in
(7)- scientific article; zbMATH DE number 868111 (Why is no real title available?)
- Coquet
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
- CoqMTU
- Emacs
- Functional verification of high performance adders in \textsc{Coq}
- The automation of proof by mathematical induction
This page was built for software: PREVAIL
