Navigation :

progsyn

Packages

Name	Attribute	Description
reduce-algebra	nur.repos.progsyn.reduce-algebra	A portable general-purpose computer algebra system
sketch-1.7.6	nur.repos.progsyn.sketch	The sketch program synthesis tool