『Lean で証明できた』は何を保証するのか？ 〜 Lean の無矛盾性と信頼の根拠 〜 - Qiita

https://qiita.com/kyamaz/items/7b38e5977dc97747d2d9