Skip to content

Fix build against Mathlib at Lean v4.29.1 - #31

Open
edu-ap wants to merge 1 commit into
girving:mainfrom
edu-ap:fix/mathlib-v4.29.1-computability
Open

Fix build against Mathlib at Lean v4.29.1#31
edu-ap wants to merge 1 commit into
girving:mainfrom
edu-ap:fix/mathlib-v4.29.1-computability

Fix build against Mathlib at Lean v4.29.1

33ef86a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs