Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Mathematics / Type theory / Logic in computer science / Dependently typed programming / Formal methods / Logical framework / Proof theory / First-order logic / Lambda calculus / Calculus of constructions


Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 257,58 KB

Share Result on Facebook
UPDATE