mathlib3
505f748b - chore(build): build against Lean 3.5 nightly build (#989)

Commit

6 years ago

chore(build): build against Lean 3.5 nightly build (#989)

References

#989 - Build with nightly

Author

cipher1024

cipher1024

Parents

Loading