• Coq

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

  • Referenced in 5 articles [sw02527]
  • HALO --- a fuzzy programming language. This paper deals...