Add Schemas (Lifted operators, axioms, predicate register, operator metadata) and lazy grounding
Open
- Dominant language
- TypeScript
- Stars
- 3
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
- https://chatgpt.com/share/690b2c38-bbec-800f-8f00-f988cb173de4
- https://chatgpt.com/share/690b2c49-486c-800f-9b5d-56673caa1ef2
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.