Results 1 to 8 of 8
Sort by:

  • Theorema
  • Referenced in 144 articles [sw00961]
  • The software system Theorema provides a uniform logic...

  • ForTheL
  • Referenced in 8 articles [sw09797]
  • ForTheL — the language of formal theories. ForTheL, an...

  • Analytica
  • Referenced in 31 articles [sw10478]
  • Analytica: A theorem prover for Mathematica. Analytica is...

  • Prodigy
  • Referenced in 37 articles [sw20686]
  • PRODIGY 4.0: The Manual and Tutorial. PRODIGY is...

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

  • kepler98
  • Referenced in 165 articles [sw23625]
  • The 1998 Proof of the Kepler Conjecture. The...

  • Naproche
  • Referenced in 10 articles [sw28307]
  • The Naproche project (Natural language Proof Checking) studies...