Hypatia

Logo

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.

View My GitHub Profile

Welcome to the official webpage of Hypatia!

Coming Soon

This webpage will soon feature:

Stay tuned as we continue to expand the resources!