Published on Unknown

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

0
0
0