Validation of HOL Proofs by Proof Checki
β
Wai Wong
π
Article
π
1999
π
Springer
π
English
β 122 KB