Embedding the Forge specification language via a machine translation as a language-level feature of the Lean theorem prover.
Latest commits.
Builders behind this project.
