scientific article; zbMATH DE number 7297822

zbMath1457.68298MaRDI QIDQ5144620

Vincent Rahli, Mark Bickford, Robert L. Constable

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330009

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Higher order functions and Brouwer’s thesis ⋮ Formally computing with the non-computable

Uses Software

• Coq
• Nuprl

This page was built for publication: