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…
最新の記事
Cardanoガバナンスの道程:分散型民主主義までのタイムライン 筆者: Ivan Irakoze
4 August 2025
Cardanoエコシステムにおけるセキュリティの民主化:完全な開発ライフサイクル 筆者: Joseph Fajen
30 July 2025
ビットコインでスマートコントラクト 筆者: Riley Kilgore
19 July 2025