andrewppar/intuitionist_bot
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
Python
No issues in this repository yet.
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
Python
No issues in this repository yet.