Telecharger Cours

Introduction to OpenAI's Proof Assistant for Metamath

Section. 3 provides an introduction to Metamath using the proof assistant. Section. 4 explains how proofs can be shared and splitted among lemmas. Section 5.



Download