windsteiger/Theorema Issues
Formula-cell tags
Updated"let"-quantifier
ClosedProof tree nodes problem
UpdatedVirtual keyboard
UpdatedProof information broken links
Closed 1Error in knowledge browser
Closed 1Formula evaluation timings
Updated 3Formula labels
UpdatedStylesheet problem
Closed 1Higher-order formulae
UpdatedGUI: prove submit summary
Closed 1TimeConstrained for proof search
Closed 1Proof information
ClosedSequenceOf
ClosedmakeSet
ClosedSyntax
UpdatedGUI: present collections
ClosedProof object: ids
Closed 1Inference rules for min, max
Updated"where" as a (global) quantifier
Closed 1Text cell inside environment
Closed 1Evaluation of formulae
UpdatedFilter knowledge browser
Closed 1