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