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…
最新の記事
Advancing Ouroboros: Leios as the next leap in scalability 筆者: Olga Hryniuk
17 April 2025
Ouroboros Peras:Cardanoのトランザクション決済を加速 筆者: Emmanuel Ameh
11 April 2025
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者: Jann Müller
12 March 2025