Leonardo de Moura
@Leonard41111588
加入 July 2023
59 正在關注 8.2K 粉絲
Lean has a new checker: con-leche, a CONsistent LEan CHEcker. This is an external checker for Lean that is proven (in Lean) to be consistent, meaning it does not accept a proof of False.
Joachim Breitner (@nomeata) is the mastermind behind the project.
顯示更多
