FStarLang / steel

The Steel separation logic library for F*
β˜†33Updated last month

Alternatives and similar repositories for steel:

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