Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1104364 - MaRDI portal

scientific article; zbMATH DE number 1104364

From MaRDI portal

Publication:4370238

Jump to:navigation, search

zbMath0889.03011MaRDI QIDQ4370238

Yann Coscoy

Publication date: 14 January 1998

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

zbMATH Keywords

formal proofs calculus of inductive constructions automatic production of natural language texts explaining formal proofs automatic proof checking functional representation of proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

Related Items

Procedural representation of CIC proof terms

Uses Software

Coq

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4370238&oldid=18361300"