Hypatia is a formal-system assistant toolkit designed to support the verification, analysis, and processing of formal systems crafted in the Hypatia language and its evolving dialects.
Welcome to the official webpage of Hypatia!
This webpage will soon feature:
Stay tuned as we continue to expand the resources!