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.
もっと見る
