Converting Isabelle proof terms to Lean (and other provers)
Primary LanguageScala
This repository is not active