Feature #1564
Geometrical theorem proving package
Start date:
19 Jan 2021
Due date:
% Done:
0%
Estimated time:
Description
What is the stats of the geometrical theorem proving package?
It seems the package is there, but the on-line manual says NYI.