Open Internet by MindsNet

Formal Logic Advanced Proof Assistants

Hidden advanced proof assistants for formal logic and automated theorem proving.

Mathematics & logic, Logic & Reasoning, Formal Logic