Proof Auditing Formalised Mathematics (Q5195266)
From MaRDI portal
scientific article; zbMATH DE number 7106502
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Auditing Formalised Mathematics |
scientific article; zbMATH DE number 7106502 |
Statements
18 September 2019
0 references
formal proof
0 references
Flyspeck
0 references
HOL light
0 references
HOL zero
0 references
common HOL
0 references
proof-auditing
0 references
Proof Auditing Formalised Mathematics (English)
0 references
