search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 46 forks source link

Say in README how to install mathlib for tests #105

Closed samestep closed 3 years ago

samestep commented 4 years ago

The tests fail if mathlib is absent, and this seems to be the easiest way to ensure that mathlib is present.