theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

fix: Update examples to work with latest Lean nightly

Open david-christiansen opened this issue 11 months ago • 1 comments

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

david-christiansen avatar Mar 01 '24 19:03 david-christiansen

@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!

david-christiansen avatar Mar 01 '24 19:03 david-christiansen