In this blog post, I'm going to discuss the overall structure of a proof refinement system. Such systems can be used for implementing automatic theorem provers, proof assistants, and type checkers for programming languages. The proof refinement literature is either old or hard to understand, so this post, and subsequent ones on the same topic, will present it in a more casual…
最新の記事
暫定憲法委員会選挙におけるIOGの投票 筆者: Tim Harrison
27 June 2024
Ouroboros Genesisの設計更新情報 筆者: Nicolas Frisby
8 May 2024
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024