search

Brandon-Rozek / vspursuer

Verify Relevance Properties for Matrix Models with Implicative Connectives
3 stars 0 forks source link

Handle fragments without negation #13

Closed Brandon-Rozek closed 1 month ago

Brandon-Rozek commented 1 month ago

Implements Feature #12