search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

Lean mathlib support and fix for local notation #23

Closed kappelmann closed 5 years ago

kappelmann commented 5 years ago

What

  1. Mathlib version, as specified in variables/mathlib_version is now downloaded when using preparejudge
  2. Mathlib can now be used in submissions
  3. local notation is again allowed in submissions