verantyx-logic-math / db

18.1 kB

Initial upload of Verantyx Logic Engine (v1.0)

29b87da verified 4 days ago

counterexample_templates.json

951 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
foundation_kb.json

8.49 kB

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
knowledge_db.json

4.08 kB

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
rewrites.json

621 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
rules.json

366 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
schemas.json

1.3 kB

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
tactics.json

1.05 kB

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
theorem_catalog.yaml

477 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago
transition_db.json

771 Bytes

Initial upload of Verantyx Logic Engine (v1.0) 4 days ago