Library implementing type inference/checking functionality based on the Lean theorem prover
Primary LanguageRustApache License 2.0Apache-2.0