← Open Research
Research project

Readable Formalized Mathematics: A Case Study

Making formal verification as readable as possible through a case study of Hessenberg digraphs.
Xinze Li & Simone Severini
Code

Overview

Making formal verification as readable as possible through a case study of Hessenberg digraphs.

Available materials

Code
Explore the public project repository and its documentation. See the repository for usage and licensing.