/intuitionist_bot

A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.

Primary LanguagePython

No issues in this repository yet.