|
13
|
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
– Marc Bezem, Jan Friso Groote
- 1993
|
|
|
Checking Textbook Proofs
– Claus Zinn
- 1998
|
|
|
A Gradual Computerisation Path in the MathLang Framework: A First Year Report
– Robert Lamar
- 2007
|
|
|
First Year Report
– Mathlang Framework For, Phd Student Manuel Maarek
- 2003
|
|
1
|
Computer Theorem Proving in Math
– Carlos Simpson
|
|
15
|
Mechanizing set theory: Cardinal arithmetic and the axiom of choice
– Lawrence C. Paulson, Krzysztof Grabczewski
- 1996
|
|
|
A refinement of de Bruijn's formal language of mathematics
– Fairouz Kamareddine Fairouz, Rob Nederpelt
- 2004
|
|
3
|
Verifying Textbook Proofs
– Claus Zinn
- 1998
|
|
|
Term Reshuffling in the Barendregt Cube
– Roel Bloo Fairouz, Fairouz Kamareddine, Rob Nederpelt
|
|
7
|
Making Formality Work For Us
– Roland Backhouse, Rijksuniversiteit Groningen
- 1989
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
|
A Nice and Accurate Checker for the Mathematical Language Automath
– Freek Wiedijk
- 1997
|
|
2
|
The De Bruijn Factor
– Freek Wiedijk
- 2000
|
|
8
|
A Comparison of Mizar and Isar
– Markus Wenzel, Freek Wiedijk
- 2002
|
|
9
|
Gradual computerisation/formalisation of mathematical texts into Mizar
– Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
|
|
|
Towards semi-automatic . . .
– Krzysztof Retel
|
|
1
|
An Abstract Syntax for a Formal Language of Mathematics
– Rob Nederpelt, Fairouz Kamareddine
- 2001
|
|
11
|
A Proof Planning Framework for Isabelle
– Lucas Dixon
- 2005
|
|
1
|
Dijkstra-Scholten predicate calculus: concepts and misconceptions
– Lex Bijlsma, Rob Nederpelt
- 1998
|
