• Tarskis_Geometry

  • Referenced in 2 articles [sw32215]
  • formalized and, using the standard real Cartesian model, shown to be consistent. A substantial theory ... developed. Building on this theory, the Klein-Beltrami model of the hyperbolic plane is defined...
  • Mizar

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...