search

Brandon-Rozek / vspursuer

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

Discard subalgebras with bottom/top #10

Open Brandon-Rozek opened 2 weeks ago

Brandon-Rozek commented 2 weeks ago

Implements Optimization #9