> Anyways, the complexity of the Lean language itself doesn’t help either. The mode of thinking you need to have to operate it is much closer to programming than maths, and for those that think that the Rust…
For a hint at how the bug works, see this https://issuetracker.google.com/issues/180526528 (more details coming soon™) From https://twitter.com/David3141593/status/1636979466860744704 Also: you [can] do a basic check…
> Anyways, the complexity of the Lean language itself doesn’t help either. The mode of thinking you need to have to operate it is much closer to programming than maths, and for those that think that the Rust…
For a hint at how the bug works, see this https://issuetracker.google.com/issues/180526528 (more details coming soon™) From https://twitter.com/David3141593/status/1636979466860744704 Also: you [can] do a basic check…