Brandon-Rozek / vspursuer

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

Match model value names to magic #22

Closed Brandon-Rozek closed 6 days ago

Brandon-Rozek commented 2 weeks ago

I was thinking -- to make the output similar to magic, we can drop the prefixed "a" on the names of values. So it's "0" rather than "a0", and so on