Translator from Lean theorem prover into saw-core
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
saw
src/Verifier/SAW
.gitignore
LICENSE
README.md
Setup.hs
lean-saw-core.cabal

README.md

This repository contains the code to translate terms and definitions from the Lean Theorem Prover into SAWCore.