Results 1 to 7 of 7
Sort by:

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

  • GAP
  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...

  • CARAT
  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration...

  • HAP
  • Referenced in 39 articles [sw04870]
  • HAP is a homological algebra library for use...

  • Carat
  • Referenced in 4 articles [sw15068]
  • GAP package Carat: Interface to CARAT, a crystallographic...

  • GitHub
  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...