kframework/matching-logic-prover Issues
Deterministic choice operators
Updated 1Axiom names are duplicated
UpdatedReplace `\hole()` with `#hole`
Updated 4replace-svar-with-constant
UpdatedTransition to AML: sorts
Updated 18`intros` non-predicate patterns
Closed 2isFOLPattern
Updated