comp202p-tableau. Propositional tableau implementation in C, for COMP202P Logic and Database Theory module.

github.com/TimboKZ/comp202p-tableau
by @TimboKZ

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.