braincheck

Java ★ 0 updated 5d ago

BrainCheck: A very simply invariant verification library

No plain-English explanation yet — one is being written right now. Check back in a minute.