LogicCalculus Tickets

A logic IDE for the sentential logic and the predicate logic.

Status: Alpha

Brought to you by: omercan

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
1	Icons are not visible [Windows]	2.0	open		2011-11-07	2011-11-07

(applies to this page only)