Lucas Interpretation from Programmers’ Perspective
Towards intuitive reasoning in axiomatic geometry
GeoCoq: formalized foundations of geometry