Programy według spreadsmart.sf.net

Celem tego projektu jest stworzenie aplikacji, która osadza funkcjonalność systemu rozumowania dedukcyjnego w interfejsie arkusza kalkulacyjnego.