imdea-software / htt

Hoare Type Theory
72Updated 2 months ago

Alternatives and similar repositories for htt:

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