GitHub repository: Brandon-Rozek/vspursuer
Primary language: Python
Description: Verify Relevance Properties for Matrix Models with Implicative Connectives