CentreForDigitalHumanities / CentreForDigitalHumanities/langpro-annotator

Detect changes after model update

Open
#16 2 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
TypeScript
Stars
0
Forks
0
Avg merge
5d 11h
Merged PRs (30d)
2

Description

The theorem prover may/will get updated in the future. The researcher wants to receive a notification if a new version of the prover gives a different judgement for any 'golded' problems/annotations.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.