Unit tests for productions #22
Description
Concept Production Rules
- compose
- constant
- exists
- forall
- map_iterate
- match
- negate
- size
- specialize
Conjecture Production Rules
- equivalence
- implication
- nonexistence
- applicability
Metadata
Metadata
Assignees
Labels
No labels