1 animated visualization for GitHub repositories tagged predicate-logic.
AndyFerns/Automated-Reasoning-Project
Advertisement
