Data Parallel Proof Verification in APL - Using Metamath for Mathematical Databases

Data Parallel Proof Verification in APL - Using Metamath for Mathematical Databases

Dyalog User Meetings via YouTube Direct link

Prove 2+2=4 with simple replacement

4 of 9

4 of 9

Prove 2+2=4 with simple replacement

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. 1 Formal verification and informal proofs
  2. 2 The landscape of formal verification
  3. 3 History of formal verification systems
  4. 4 Prove 2+2=4 with simple replacement
  5. 5 Proof as a tree structure
  6. 6 Example in Metamath
  7. 7 How to convert a Metamath proof into a tree
  8. 8 Speed of verifying proof databases
  9. 9 Recap and future work

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.