Name		Name	Last commit message	Last commit date
Latest commit History 82 Commits
.circleci		.circleci
logic		logic
scripts		scripts
test		test
tweeter		tweeter
.gitignore		.gitignore
LICENSE.txt		LICENSE.txt
README.md		README.md
requirements.txt		requirements.txt
setup.py		setup.py

Repository files navigation

Logic Bot

View the explanation of this repository at http://www.mscroggs.co.uk/blog/13 and http://www.mscroggs.co.uk/blog/16.

About

@logicbot@mathstodon.xyz

mathstodon.xyz/@logicbot

math maths propositional-logic

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%