Author:
Krebbers Robbert,Parlant Louis,Silva Alexandra
Publisher
Springer International Publishing
Reference23 articles.
1. Bertot, Y., Castéran, P.: Interactive theorem proving and program development. Coq’Art: the calculus of inductive constructions. In: Texts in TCS. Springer, Heidelberg (2004)
2. Bickford, M., Kozen, D., Silva, A.: Formalizing Moessner’s theorem and generalizations in Nuprl (2013). http://www.nuprl.org/documents/Moessner/
3. Clausen, C., Danvy, O., Masuko, M.: A characterization of Moessner’s sieve. Theor. Computut. Sci. 546, 244–256 (2014)
4. Conway, J.H., Guy, R.K.: Moessner’s magic. In: The Book of Numbers, pp. 63–65. Springer, New York (1996)
5. Coq Development Team: The Coq proof assistant reference manual. INRIA (2013)