The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving System).
YouTube Encyclopedic
-
1/3Views:77 72220 2621 158
-
[Discrete Math 1] Direct Proofs
-
BM3. Formal Proofs
-
PLSE: Leonardo de Moura, "The Lean Theorem Prover"
Transcription
External links
![](/s/i/modif.png)