Yu-Yang Lin

Results 1 repositories owned by Yu-Yang Lin

YUP

36
Stars
4
Forks
Watchers

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

verified publisher icon LaifsV1