cpdt-lean
Lean implementations of things found in Certified Programming with Dependent Types
Lean implementations of things found in Certified Programming with Dependent Types
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.
Lean implementations of things found in Certified Programming with Dependent Types