search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

chore: bump mathlib #206

Closed gebner closed 1 year ago

gebner commented 1 year ago

This is a new one:

INTERNAL PANIC: executed 'sorry'