TPTP
From MaRDI portal
swMATH4143MaRDI QIDQ16327FDOQ16327
Author name not available (Why is that?)
Official website: http://www.cs.miami.edu/~tptp/
Cited In (only showing first 100 items - show all)
- Faster, higher, stronger: E 2.3
- Title not available (Why is that?)
- LoTREC
- HipSpec
- KRATOS
- STEXIDE
- MaSh
- Zeno
- TGTP
- KAT-ML
- RALL
- Asparagus
- MBase
- RunLim
- Runsolver
- IMPS
- Panoptes
- Abella
- CERES
- StarExec
- CVC4
- Herod
- iProver-Eq
- Pilate
- Equinox
- iProver
- Mella
- JAMPACK
- MGTP
- ileanCoP
- ForTheL
- leanCoP
- FaCT++
- aleanTAP
- Intergeo
- Dr.Doodle
- SAD
- Racer
- JProver
- leanTAP
- QMLTP
- Qex
- Pcoq
- mkbTT
- PARTHEO
- Gandalf
- E Theorem Prover
- SicoTHEO
- Slothrop
- Flyspeck
- BWare
- Ivy
- PRocH
- MaLARea
- MathWeb
- HR
- Monotonox
- Octopus
- PROSPER
- Prefuse
- Z/EVES
- SystemOnTPTP
- tptp2X
- HOLyHammer
- Mcmt
- GQML
- linTAP
- llprover
- MetTeL
- Sibyl
- GeoView
- Chainsaw
- Jahob
- HTab
- YAGO
- Roo
- Opengeo
- Spartacus
- TrOWL
- AgsyHOL
- Easychair
- HOT
- Metamath
- Beagle
- LeoPARD
- dedukti
- JGEX
- GF
- HyLoTab
- Lingva
- SMTtoTPTP
- Saucy
- FOOL
- Divvy
- E-MaLeS
- Lean
- Isabelle/Circus
- randoCoP
- SigmaKEE
- seL4
This page was built for software: TPTP