A computer algebra system for propositional logic
Primary LanguageJuliaMIT LicenseMIT
#3 opened 5 months ago by jakobjpeters