3 ms·There's not yet a Lean Mathlib signals library? Is that a good use case for autoformalization?by westurner 2mo agoThere's not yet a Lean Mathlib signals library? Is that a good use case for autoformalization?