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
Suggestions Bar still visible in Mathematica 9 #31
Open
amaletzk opened 11 years ago
The "Suggestions Bar" is still visible in Mathematica 9, even if the correct Theorema stylesheet is used.