/cpdt_lean

CPDT in Lean (attempt atleast)

Primary LanguageLean

This repository is not active