#

boolexman

Here is 1 public repository matching this topic...

boramalper / boolexman

boolean expression manipulator for educational purposes

computer-science haskell informatics propositional-logic edinburgh sequent-calculus boolexman

Updated Aug 15, 2019
JavaScript

Improve this page

Add a description, image, and links to the boolexman topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boolexman topic, visit your repo's landing page and select "manage topics."