Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
70
stars
14
forks
source link
GUI: aliases for expressions entering invisible parentheses #16
Closed
windsteiger closed 11 years ago
Better than using precedence for grouping