scientific article; zbMATH DE number 2085176

zbMath1054.03502MaRDI QIDQ4736400

Olivier Pons

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770217.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type theory based proof assistants

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Ornaments for Proof Reuse in Coq

Uses Software

• Nuprl
• Unnamed Item

This page was built for publication: