Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71
stars
14
forks
source link
Prover programming: datastructure accessors #15
Open
windsteiger opened 11 years ago
Use normal function instead of Dot-Notation