theoremprover-museum/SNARK

SNARK - SRI's New Automated Reasoning Kit

Common LispNOASSERTION