Imagen de Portada

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Affeldt, Reynald, Stone, Zachary
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Taming Differentiable Logics with Coq Formalisation
por: Affeldt, Reynald, et al.
Publicado: (2024)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
por: Affeldt, Reynald, et al.
Publicado: (2023)

A Foundation for Differentiable Logics using Dependent Type Theory
por: Affeldt, Reynald, et al.
Publicado: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
por: Florath, Andreas
Publicado: (2024)

Teaching Divisibility and Binomials with Coq
por: Boldo, Sylvie, et al.
Publicado: (2024)

Maths with Coq in L1, a pedagogical experiment
por: Kerjean, Marie, et al.
Publicado: (2025)

A Coq Formalization of Unification Modulo Exclusive-Or
por: Xu, Yichi, et al.
Publicado: (2025)

A Coq Library of Sets for Teaching Denotational Semantics
por: Cao, Qinxiang, et al.
Publicado: (2024)

A beginner guide to Iris, Coq and separation logic
por: Dietrich, Elizabeth
Publicado: (2021)

Finite element method. Detailed proofs to be formalized in Coq
por: Clément, François, et al.
Publicado: (2024)

Towards Automatic Transformations of Coq Proof Scripts
por: Magaud, Nicolas
Publicado: (2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
por: Soldevila, Mallku, et al.
Publicado: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
por: Kozyrev, Andrei, et al.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

Towards a Coq-verified Chain of Esterel Semantics
por: Berry, Gérard, et al.
Publicado: (2019)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
por: Nechesov, Andrey
Publicado: (2024)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
por: Tang, Xichen
Publicado: (2025)

Overview and Roadmap of Team Automata
por: ter Beek, Maurice H., et al.
Publicado: (2025)

A Graphical Interface for Category Theory Proofs in Coq
por: Chabassier, Luc
Publicado: (2025)

Advances in Algorithmic Meta Theorems
por: Siebertz, Sebastian, et al.
Publicado: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
por: Niwiński, Damian, et al.
Publicado: (2025)

A No-go Theorem for Coalgebraic Product Construction
por: Kori, Mayuko, et al.
Publicado: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
por: Batz, Kevin, et al.
Publicado: (2025)

Ruitenburg's Theorem Mechanized and Contextualized
por: Litak, Tadeusz
Publicado: (2024)

Lovász Theorems for Modal Languages
por: Comer, Jesse
Publicado: (2024)

Algorithmic Perspective on Toda's Theorem
por: Fried, Dror, et al.
Publicado: (2025)

Preservation Theorems in Semiring Semantics
por: Brinke, Sophie, et al.
Publicado: (2026)

Locality Theorems in Semiring Semantics
por: Bizière, Clotilde, et al.
Publicado: (2023)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
por: Koul, Prajval, et al.
Publicado: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Codd's Theorem for Databases over Semirings
por: Badia, Guillermo, et al.
Publicado: (2025)

Generating Theorems by Generating Proof Structures
por: Wernhard, Christoph
Publicado: (2026)

A General Completeness Theorem for Skip-free Star Algebras
por: Kappé, Tobias, et al.
Publicado: (2025)

On Randomized Computational Models and Complexity Classes: a Historical Overview
por: Antonelli, Melissa, et al.
Publicado: (2024)

Equational Theorem Proving for Clauses over Strings
por: Kim, Dohan
Publicado: (2023)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
por: De Mol, Liesbeth, et al.
Publicado: (2025)