Section: Application Domains
Interoperability
Our main impact applications, for instance to proofs of programs, or to air traffic control, are through our cooperation with other teams.
As a matter of fact, we view our work on interoperability and on the design of a formal proof encyclopedia as a service to the formal proof community.