Translator from Lean theorem prover into saw-core - View it on GitHub