lean 4 typechecker in scala (based on Gabriel Ebner's trepplein)
Primary LanguageScalaApache License 2.0Apache-2.0