Results 1 to 2 of 2
Sort by:

  • 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...