Bartosz Naskręcki
@nasqret
Mathematician | Vice-Dean @UAM_Poznan | Researcher @ccaiwut | Owner of | Mathematics, AI and programming
가입 November 2023
645 팔로잉 중 15.7K 팬
Now you can be even more paranoid about the level of trust you put into your Lean code. Well done @Leonard41111588 and the team!
Lean v4.35.0 is out, and it ships with verified kernels.
Run `lake check --paranoid` to recheck your project with every bundled kernel.
Blog post:
