Completed
Example in Metamath
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Data Parallel Proof Verification in APL - Using Metamath for Mathematical Databases
Automatically move to the next video in the Classroom when playback concludes
- 1 Formal verification and informal proofs
- 2 The landscape of formal verification
- 3 History of formal verification systems
- 4 Prove 2+2=4 with simple replacement
- 5 Proof as a tree structure
- 6 Example in Metamath
- 7 How to convert a Metamath proof into a tree
- 8 Speed of verifying proof databases
- 9 Recap and future work
