search

Brandon-Rozek / vspursuer

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

Handle necessitation and possibility #3

Closed Brandon-Rozek closed 1 month ago

Brandon-Rozek commented 1 month ago

Implemented in #15