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…
最新の記事
DIDComm gets formal 筆者: IO Research
16 October 2024
Ouroboros Peras: the next step in the journey of Cardano’s protocol 筆者: Fernando Sanchez
14 October 2024
The 11 blockchain tenets: towards a blockchain bill of rights 筆者: Prof Aggelos Kiayias
11 October 2024