3 ms·
Good one. But if you really do want to get the maths onto firm footing, maybe you should be working to encode it all under Lean.
by ncmncm 5y ago
Good one.
But if you really do want to get the maths onto firm footing, maybe you should be working to encode it all under Lean.