Flexiformal Relocalization

In this repository, we develop a flexiformal relocalization system. It is based on our previous prototypes:

1. Prototype 1: Template-based relocalization of sTeX content.
2. Prototype 2: GF RGL-based definition expansion of sTeX content.
3. Prototype 3: GF RGL-based definition expansion of FTML content (formerly called sHTML).
4. Prototype 4: Definition expansion and recontextualization of FTML content using GF-based CNL.

Content of this repo

• magma: A GF grammar for mathematics
• flexi (under development): A Python library processing flexiformal content.