Proof-checking Euclid (Q2631965)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof-checking Euclid |
scientific article; zbMATH DE number 7055783
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof-checking Euclid |
scientific article; zbMATH DE number 7055783 |
Statements
Proof-checking Euclid (English)
0 references
16 May 2019
0 references
Euclid
0 references
proof-checking
0 references
Euclidean geometry
0 references
HOL light
0 references
Coq
0 references
0 references
0 references
0.8241226673126221
0 references
0.7661413550376892
0 references
0.7603334188461304
0 references
0.7534837126731873
0 references
