The interactive proof editor: an experiment in interactive
暂无分享,去创建一个
[1] Brian Ritchie,et al. The design and implementation of an interactive proof editor , 1988 .
[2] I. Lakatos. PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.
[3] Robin Milner,et al. On using Edinburgh LCF to prove the correctness of a parsing algorithm , 1982 .
[4] Avra Cohn,et al. A Proof of Correctness of the Viper Microprocessor: The First Level , 1988 .
[5] Bowen Alpern,et al. Interactive proof checking , 1984, POPL.
[6] Thomas W. Reps,et al. Generating Language-Based Environments , 1982 .
[7] Michael J. C. Gordon,et al. Edinburgh LCF: A mechanised logic of computation , 1979 .