lamg / wybe

A proof checker embedded in F#'s computation expressions
23Updated last week

Alternatives and similar repositories for wybe:

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