CentreForDigitalHumanities / CentreForDigitalHumanities/langpro-annotator
Status check for theorem prover
Open
bonus
enhancement
- Dominant language
- TypeScript
- Stars
- 0
- Forks
- 0
- Avg merge
- 5d 11h
- Merged PRs (30d)
- 2
Description
Similar to ParsePort, it would be useful if the Theorem Prover is able to let the backend know that it is able to handle requests. The frontend could display a 'Please try again later...' message if the application is not ready.
Contributor guide
Assessment
This issue has not been assessed yet.