proof-assistant

Assist in constructing algorithm correctness proofs