Lean implementations of things found in Certified Programming with Dependent Types
Primary LanguageLeanApache License 2.0Apache-2.0