The following pages link to (Q2751370):
Displaying 15 items.
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician (Q740456) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Local Theory Specifications in Isabelle/Isar (Q3638251) (← links)
- Cut Elimination in a Class of Sequent Calculi for Pure Type Systems (Q4924532) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- The challenge of computer mathematics (Q5301849) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- (Q6079227) (← links)
