CentreForDigitalHumanities / CentreForDigitalHumanities/langpro-annotator
Edit proof trees / tableaux
Open
bonus
- Dominant language
- TypeScript
- Stars
- 0
- Forks
- 0
- Avg merge
- 5d 11h
- Merged PRs (30d)
- 2
Description
Edit the proof trees / tableaux themselves. This is a very complex feature and probably out of scope; it is something to work on if we have time left.
The original time estimation document mentions Ace as a tool to do this with.
Contributor guide
Assessment
This issue has not been assessed yet.