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
Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq - MaRDI portal

Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq

From MaRDI portal

Publication:6611970

Jump to:navigation, search

DOI10.1007/s10817-024-09705-6MaRDI QIDQ6611970

Andres Erbsen, Jason Gross, Jade Philipoom, Adam Chlipala, Rajashree Agrawal

Publication date: 27 September 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

verification rewriting compilers proof assistants proof engines

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq

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