Marpa Grammar for MathML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
README.md
app.pl
grammarPreamble
svn_docker_workflow.txt

README.md

MathSemantifier Workflow

  1. Launch MMT server with the MarpaGrammarGenerator Extension (https://github.com/KWARC/MMT for more information)
  2. Launch Marpa Grammar Engine based CFG parser (this application)
    $> morbo app.pl
    
  3. Open the MathSemantifier page (https://github.com/itoloaca/MathSemantifier for more information)
  4. Use Semantify for guided semantification or Semantic Tree for automatic parse tree generation