Skip to content

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

74a3f03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Bump to latest stable version Lean 4.27.0 & Fix bugs due to dependency upgrades #189

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot
74a3f03
Select commit
Loading
Failed to load commit list.