Crossmark

Implementing Euclid’s straightedge and compass constructions in type theory

Published Online: 2018-09-26

Published Print: 2019-04

Authors

Kellison, Ariel

Bickford, Mark

Constable, Robert
Funding

Funding for this research was provided by:

National Science Foundation (1650069)
License Information

Text and Data Mining valid from 2018-09-26

Version of Record valid from 2018-09-26
More Information

Article History

First Online: 26 September 2018

Document is current