• SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • cubicaltt

  • Referenced in 45 articles [sw22723]
  • Cubical type theory. Code library. Experimental implementation of...