Euclid's Elements
Theorem Proving
Research Project
Client
Services
Isabelle Theorem Proving Research
Industries
Research
Date
March 2024
The full text of the research cannot be disclosed at this time due to authorship considerations. However, it will be available once the paper is published.