• Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • Programming language techniques for cryptographic proofs. CertiCrypt is...