Open arthurpaulino opened 1 year ago
Let's experiment and see if typechecking in Lurk.lean goes faster
Let's experiment and see if typechecking in Lurk.lean goes faster