fstar-devel

v 20210824-b95d1ac Updated: 3 years, 2 months ago

Obsolete port, replaced by fstar

This port has been replaced by fstar.

https://fstar-lang.org

Add to my watchlist

Installations 0
Requested Installations 0