fix: Update examples to work with latest Lean nightly

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Apache License 2.0

159 stars 85 forks source link

Open david-christiansen opened 7 months ago

david-christiansen commented 7 months ago

These changes allow the tests to pass with the latest Lean nightly again.

david-christiansen commented 7 months ago

@avigad - I believe you're the right one to approve these changes. If not, let me know, and I'll start working down the list of co-authors.

Thanks!