A translator from SAWCore to Coq - View it on GitHub