4 ms·Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers5 points by dolia 4mo ago