A new framework for describing and quantifying the gap between proof and practice.

Download in:

• JSON
• RDF
• N3/Turtle
• N-Triples

View as

• Triples