You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 18, 2025. It is now read-only.
Describe the Housekeeping
There is a large amount of code, and a few dependencies, to support 'Notation 3' (and inferences based on it. However, this isn't used in practice and can be removed.
Blocking issues
Describe any other issues or tickets that may be blocking this change.
Additional context
Add any other context about the problem here.
Describe the Housekeeping
There is a large amount of code, and a few dependencies, to support 'Notation 3' (and inferences based on it. However, this isn't used in practice and can be removed.
Blocking issues
Describe any other issues or tickets that may be blocking this change.
Additional context
Add any other context about the problem here.