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