lamg / wybe

A theorem prover embedded in F#'s computation expressions
28Updated this week

Alternatives and similar repositories for wybe:

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