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…
最新の記事
Atala PRISM:分散型ソリューションでデジタルIDを先駆け 筆者: Olga Hryniuk
11 May 2023
元DeloitteブロックチェーンのリーダーがIOGの新プロジェクトMidnightに参加 筆者: Tim Harrison
3 May 2023
CardanoがValentineアップグレードと小回りの利くノードで進化 筆者: Anthony Quinn
2 May 2023