Publication:4503907
From MaRDI portal
zbMath0960.03007MaRDI QIDQ4503907
Publication date: 14 May 2001
03B35: Mechanization of proofs and logical operations
Related Items
MPTP 0.1 - System Description, MPTP-motivation, implementation, first experiments, MPTP 0.2: Design, implementation, and initial experiments, Semantics of Mizar as an Isabelle object logic, Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
Uses Software