It would be nice to set up a technical debt counter for Physlib, similar to that for Mathlib. There is some discussion on this around: https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Technical.20Debt.20Counters/near/585615609
It would be nice to set up a technical debt counter for Physlib, similar to that for Mathlib.
There is some discussion on this around:
https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Technical.20Debt.20Counters/near/585615609