ブログ > 筆者 > Rebecca Valentine

Proof refinement basics

2017年 3月 7日 Rebecca Valentine 19 分で読めます

Proof Refinement Basics - Input Output

Proof refinement basics

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…

1

2