|
16
|
An extensible proof text editor
– Thomas Hallgren, Aarne Ranta
- 2000
|
|
6
|
Explication textuelle de preuves pour le calcul des constructions inductives
– Y Coscoy
- 2000
|
|
124
|
CENTAUR: the system
– P. Borras, D. Clément, Th. Despeyrouz, J. Incerpi, G. Kahn, B. Lang, V. Pascual
- 1988
|
|
26
|
A Generic Approach to Building User Interfaces for Theorem Provers
– Yves Bertot, Laurent Théry
- 1995
|
|
9
|
A natural language explanation for formal proofs
– Y Coscoy
- 1997
|
|
56
|
Grammatical Framework: A Type-Theoretical Grammar Formalism
– Aarne Ranta
- 2003
|
|
40
|
Proof by Pointing
– Yves Bertot , Gilles Kahn, Laurent Thery
- 1994
|
|
88
|
The Coq Proof Assistant Reference Manual : Version 6.1
– B Barras, S Boutin, C Cornes, J Courant, J Filliatre, E Gimenez, H Herbelin, G Huet, C Munoz, C Murthy, C Parent, C Paulin-Mohring, A Saibi, B Werner
- 1997
|
|
10
|
PROVERB -- A System Explaining Machine-Found Proofs
– Xiaorong Huang
- 1994
|
|
3
|
Proof Presentation as an Application of NLG
– Xiaorong Huang, Armin Fiedler
- 1997
|
|
67
|
Implementing Mathematics with the Nuprl Development System
– Robert L Constable, Stuart F Allen, H M Bromley, W R Cleaveland, J F Cremer, R W Harper, Douglas J Howe, T B Knoblock, N P Mendler, P Panangaden, James T Sasaki, Scott F Smith
- 1986
|
|
5
|
Towards a Library of Formal Mathematics
– Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
- 2000
|
|
2
|
Grammatical Framework homepage (2005) www.cs.chalmers.se/ ~aarne/GF
– A Ranta
|
|
2
|
The GF resource grammar library (2004) http://www.cs.chalmers. se/~aarne/GF/lib/resource
– A Ranta
|
|
2
|
Software Engineering. Seventh edn
– I Sommerville
- 2004
|
|
3
|
Improving the natural language translation of formal software specifications
– D A Burke
- 2004
|
|
2
|
OCL to natural language tool homepage (2004) http://www.cs. chalmers.se/~krijo/gfspec
– K Johannisson
|
|
2
|
Eine deutsche Grammatik für OCL. Studienarbeit (2003) http: //www.cs.chalmers.se/~krijo/gfspec
– H J Daniels
|
|
2
|
Disambiguating implicit constructions
– K Johannisson
|
