Logics playground

Collection of logic implementations for educational purposes.

This page is still being written, but you can: