propositional-logic topic

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

knowsys

From LTLf/LDLf To Automata

whitemech

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

nclarius

A Library for Classical Propositional Logic in Agda

jonaprieto

A computer algebra system for propositional logic

jakobjpeters