Skip to content

wip: bump to current mathlib --- still a handful of broken proofs - #156

Open
grunweg wants to merge 3 commits into
masterfrom
bump-436
Open

wip: bump to current mathlib --- still a handful of broken proofs#156
grunweg wants to merge 3 commits into
masterfrom
bump-436

Revert "wip trying"

f58027c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar