Presentation on ProofMode

The presentation linked below gives a solid overview of the ProofMode concept, progress, applications, data formats, and current implementing partners.

View the slides on our Github project: View Slides