Repository navigation
This is the snapshot consistent with the results of the paper "Trustworthy Formal Natural Language Specifications" from Onward! 2023.
This version relies on a slightly older (though recent at time of submission) version of Lean; shortly after this version, the typeclass resolution algorithm for Lean 4 underwent significant changes.
To build the code, follow Lean's instructions for installing the lake build tool, and run lake build in the root of this repository.