Proven Collection Small models whose output is checked by a compiler, prover or model checker. • 9 items • Updated 3 days ago