Performing implicit induction reasoning with certifying proof environments

[引用][C] Making Explicit the Implicit Induction

S Stratulat
相关文章