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 2085174 - MaRDI portal

scientific article; zbMATH DE number 2085174

From MaRDI portal

Publication:4736398

Jump to:navigation, search

zbMath1054.03500MaRDI QIDQ4736398

Nicolas Magaud, Yves Bertot

Publication date: 9 August 2004

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

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

zbMATH Keywords

natural numbers Coq proof assistant inductive definitions proof structure automatic translation tool

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Ornaments for Proof Reuse in Coq ⋮ Constructive Membership Predicates as Index Types

Uses Software

This page was built for publication:

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