imdea-software / htt

Hoare Type Theory
71Updated last month

Alternatives and similar repositories for htt:

Users that are interested in htt are comparing it to the libraries listed below