[Dokmelody scratchpad notes]
[Main website]
tech/rosette-racket-verification-tool
A tool written in Racket for program verification.