Collection of logic implementations for educational purposes.
This page is still being written, but you can:
Visit the related articles (shown top right).
Contact me about it (shown bottom right).
articles with shared labels
related material from other people
the landing page