A Minimal Agent for Automated Theorem Proving
A tool for parsing and visualizing ontology files written in the Ontol DSL
