LaifsV1 / YUP

YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning.
36Updated 2 years ago

Alternatives and similar repositories for YUP:

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