/YatimaStdLib.lean

Primary LanguageLeanMIT LicenseMIT

Watchers

No one’s watching this repository yet.