Question: "Proof Assistant" in to do list of Maple developers (availablity) ?

salute ! all Maplesoft managers and employee programers ...

Is there any fortune in near future to have some kind of machin based "Proof Assistant" as built in part of Maple IDE ?

it can be better than COQ ?

also there is a great lack of user interactivity by Geometry and Geometry3d packages of maple !!!

for example most of the time it is nessesary (and more facilated) to define geometrical primitive shapes manually or making simple transformations and dissectings attaching ... rather than doing them programaticaly or by commands ?

even having traditional tools like compass ruler ... in pallettes of Geometry window ?



Please Wait...