Get Blocks in Range
Value and Function interpretation
ASMInterface and value Interpretation added
ASMInterface and value +function interpretation added (2)
Value interpretation templates with MathML + debug
Merge branch 'master' of https://github.com/KWARC/Sally
Debug ValueInterpretation + Verification data extraction from blocks
Verification data extraction from blocks
• Manager: GetSemanticInterpretation
• Antiunification for MathML
• Automatic Antiunification of Blocks
• Generation of MathML Representation for Cp Similar Blocks
- MathML Code in TemplateKlasse
- Excel formula -> MathML for Testing
Faked Winograd Ontology
Ontology to specification transformation
- New ASM Model
- MathML2 Z3 transformations
- Test cases
- Extracting of cp similar formulae
- detecting constant arguments
Merge branch 'master' of https://github.com/KWARC/Sally
Commit changes of last pull from main.
Builder for cell dependencies
Relation types as enumeration
Documentation
Documentation in CDDBuilder
Merge pull request #11 from cliguda/master

New ASM