scientific article; zbMATH DE number 1392299

zbMath0945.03527MaRDI QIDQ4936138

No author found.

Publication date: 25 January 2000

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Simplifying proofs in Fitch-style natural deduction systems, Proof-carrying code from certified abstract interpretation and fixpoint compression, SMT proof checking using a logical framework, Automated techniques for provably safe mobile code., Redundancy Elimination for LF

Uses Software

• Coq