PREVAIL

swMATH2114MaRDI QIDQ14658FDOQ14658

Author name not available (Why is that?)

Official website: http://hal.archives-ouvertes.fr/hal-00014249/

Cited In (7)

• Functional verification of high performance adders in \textsc{Coq}
• Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
• Coquet
• The automation of proof by mathematical induction
• CoqMTU
• Emacs
• Title not available (Why is that?)

This page was built for software: PREVAIL