Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2407.06222 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Coq Formalization of Unification Modulo Exclusive-Or
by: Xu, Yichi, et al.
Published: (2025)
by: Xu, Yichi, et al.
Published: (2025)
Teaching Divisibility and Binomials with Coq
by: Boldo, Sylvie, et al.
Published: (2024)
by: Boldo, Sylvie, et al.
Published: (2024)
Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
by: Florath, Andreas
Published: (2024)
by: Florath, Andreas
Published: (2024)
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
by: Affeldt, Reynald, et al.
Published: (2024)
by: Affeldt, Reynald, et al.
Published: (2024)
Maths with Coq in L1, a pedagogical experiment
by: Kerjean, Marie, et al.
Published: (2025)
by: Kerjean, Marie, et al.
Published: (2025)
The weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2024)
by: Vignati, Alessandro, et al.
Published: (2024)
A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)
by: Barlatier, Patrick, et al.
Published: (2025)
A Coq Library of Sets for Teaching Denotational Semantics
by: Cao, Qinxiang, et al.
Published: (2024)
by: Cao, Qinxiang, et al.
Published: (2024)
Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)
by: Clément, François, et al.
Published: (2024)
A beginner guide to Iris, Coq and separation logic
by: Dietrich, Elizabeth
Published: (2021)
by: Dietrich, Elizabeth
Published: (2021)
Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)
by: Magaud, Nicolas
Published: (2024)
Taming Differentiable Logics with Coq Formalisation
by: Affeldt, Reynald, et al.
Published: (2024)
by: Affeldt, Reynald, et al.
Published: (2024)
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
by: Soldevila, Mallku, et al.
Published: (2024)
by: Soldevila, Mallku, et al.
Published: (2024)
CoqPilot, a plugin for LLM-based generation of proofs
by: Kozyrev, Andrei, et al.
Published: (2024)
by: Kozyrev, Andrei, et al.
Published: (2024)
Towards a Coq-verified Chain of Esterel Semantics
by: Berry, Gérard, et al.
Published: (2019)
by: Berry, Gérard, et al.
Published: (2019)
A Graphical Interface for Category Theory Proofs in Coq
by: Chabassier, Luc
Published: (2025)
by: Chabassier, Luc
Published: (2025)
The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
by: Swanson, Jason
Published: (2025)
by: Swanson, Jason
Published: (2025)
Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)
by: Wang, Yingjian
Published: (2024)
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
by: Carr, Lucas, et al.
Published: (2024)
by: Carr, Lucas, et al.
Published: (2024)
Ultrafilter Extensions for Veltman Semantics
by: Gonzalez, Felix Frigola, et al.
Published: (2026)
by: Gonzalez, Felix Frigola, et al.
Published: (2026)
Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)
by: Uskuplu, Elif
Published: (2023)
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)
by: Bacci, Giorgio, et al.
Published: (2025)
Definable Coherent Ultrapowers and Elementary Extensions
by: Boney, Will
Published: (2016)
by: Boney, Will
Published: (2016)
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)
by: van der Giessen, Iris, et al.
Published: (2023)
The noncommutative weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2025)
by: Vignati, Alessandro, et al.
Published: (2025)
The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)
by: Fernández-Duque, David, et al.
Published: (2026)
Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)
by: Glazer, Elliot, et al.
Published: (2026)
Non-Galvin Filters
by: Benhamou, Tom, et al.
Published: (2022)
by: Benhamou, Tom, et al.
Published: (2022)
Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)
by: Quigley, Daniel
Published: (2024)
Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)
by: Dastgheib, D., et al.
Published: (2016)
Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)
by: Xu, Jianfeng
Published: (2025)
A Univalent Formalization of Constructive Affine Schemes
by: Zeuner, Max, et al.
Published: (2022)
by: Zeuner, Max, et al.
Published: (2022)
Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)
by: Mohammd, Marwan Salam
Published: (2024)
Combinatorial Properties of the Raisonnier Filter
by: Dialiatsis, Spyridon, et al.
Published: (2026)
by: Dialiatsis, Spyridon, et al.
Published: (2026)
Formalizing CHSH Rigidity in Lean 4
by: Zhao, Tianrun, et al.
Published: (2026)
by: Zhao, Tianrun, et al.
Published: (2026)
Extensional Taylor Expansion
by: Blondeau-Patissier, Lison, et al.
Published: (2023)
by: Blondeau-Patissier, Lison, et al.
Published: (2023)
On BPI in Symmetric Extensions Part 1
by: Ransom, Brian
Published: (2025)
by: Ransom, Brian
Published: (2025)
A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning
by: Esteves, Marta
Published: (2025)
by: Esteves, Marta
Published: (2025)
The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)
by: Cheng, Yong
Published: (2015)
A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)
by: Halbeisen, Lorenz, et al.
Published: (2021)