dominique-unruh/isabelle-to-lean

Converting Isabelle proof terms to Lean (and other provers)

Scala