scientific article; zbMATH DE number 7015112
From MaRDI portal
Publication:4619818
zbMath1404.03010MaRDI QIDQ4619818
No author found.
Publication date: 7 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Aligning concepts across proof assistant libraries ⋮ Computational logic: its origins and applications ⋮ Hammer for Coq: automation for dependent type theory ⋮ Automating formalization by statistical and semantic parsing of mathematics ⋮ Mathematics and the formal turn ⋮ The formal verification of the ctm approach to forcing ⋮ Programming and verifying a declarative first-order prover in Isabelle/HOL ⋮ GRUNGE: a grand unified ATP challenge ⋮ Human-centered automated proof search ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ Accessible Reasoning with Diagrams: From Cognition to Automation
This page was built for publication:
