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.
더 보기
