:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Kerjean, Marie, Mayero, Micaela, Rousselin, Pierre
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2505.05990
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Rocq Formalization of Monomial and Graded Orders
por: Boldo, Sylvie, et al.
Publicado: (2025)

Unifying Graded Linear Logic and Differential Operators
por: Breuvart, Flavien, et al.
Publicado: (2024)

A Rocq Formalization of Simplicial Lagrange Finite Elements
por: Boldo, Sylvie, et al.
Publicado: (2026)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
por: Affeldt, Reynald, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
por: Brown, Chad E., et al.
Publicado: (2025)

Limited Math: Aligning Mathematical Semantics with Finite Computation
por: Wen, Lian
Publicado: (2026)

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

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2020)

List types for resource aware languages: an implicit name approach
por: Ghilezan, Silvia, et al.
Publicado: (2021)

A Relational Theory of Grounding and a new Grounder for SMT
por: Carbonnelle, Pierre
Publicado: (2026)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
por: Kozhemiachenko, Daniil
Publicado: (2024)

Positionality in $Σ_0^2$ and a completeness result
por: Ohlmann, Pierre, et al.
Publicado: (2023)

The Size-Change Principle for Mixed Inductive and Coinductive types
por: Hyvernat, Pierre
Publicado: (2024)

The Qualitative Collapse of Concurrent Games
por: Clairambault, Pierre
Publicado: (2024)

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Prime Factorization in Models of PV$_1$
por: Ježil, Ondřej
Publicado: (2025)

Formalization of the Filter Extension Principle (FEP) in Coq
por: Dou, Guowei, et al.
Publicado: (2024)

Trees in graphs of large linear cliquewidth
por: Bojańczyk, Mikołaj, et al.
Publicado: (2025)

Rank-decreasing transductions
por: Bojańczyk, Mikołaj, et al.
Publicado: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
por: Pati, Viresh, et al.
Publicado: (2026)

Pebble Games and Algebraic Proof Systems
por: Jaser, Lisa-Marie, et al.
Publicado: (2025)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
por: Bilotta, Antonella
Publicado: (2025)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
por: Clairambault, Pierre, et al.
Publicado: (2023)

Existential and positive games: a comonadic and axiomatic view
por: Abramsky, Samson, et al.
Publicado: (2025)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)