Now f is continuous (exercise

DOI10.6092/ISSN.1972-5787/4566zbMath1451.68313OpenAlexW2252806475MaRDI QIDQ5195268

Robin Denis Arthan

Publication date: 18 September 2019

Full work available at URL: https://doi.org/10.6092/issn.1972-5787/4566

zbMATH Keywords

decision procedureinteractive theorem provingformalised mathematics

Mathematics Subject Classification ID

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

Related Items (1)

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

Uses Software

• ProofPower

This page was built for publication: Now f is continuous (exercise