:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Boldo, Sylvie, Clément, François, Martin, Vincent, Mayero, Micaela, Mouhcine, Houda
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2604.20345
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Rocq Formalization of Monomial and Graded Orders
par: Boldo, Sylvie, et autres
Publié: (2025)

Teaching Divisibility and Binomials with Coq
par: Boldo, Sylvie, et autres
Publié: (2024)

Maths with Coq in L1, a pedagogical experiment
par: Kerjean, Marie, et autres
Publié: (2025)

Finite element method. Detailed proofs to be formalized in Coq
par: Clément, François, et autres
Publié: (2024)

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
par: Rosain, Johann, et autres
Publié: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
par: Caldwell, Benjamin, et autres
Publié: (2026)

String Diagrams for Monoidal Categories, in Rocq
par: Pous, Damien
Publié: (2026)

Revisiting the Fast Fourier Transform in Rocq
par: Théry, Laurent
Publié: (2022)

Adhesive category theory for graph rewriting in Rocq
par: Arsac, Samuel, et autres
Publié: (2025)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
par: Baudart, Guillaume, et autres
Publié: (2026)

Nominal Sets in Rocq
par: Paranhos, Fabrício Sanches, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
par: Kozyrev, Andrei, et autres
Publié: (2025)

Simplicial Belief
par: Cachin, Christian, et autres
Publié: (2026)

A Spatial Logic for Simplicial Models
par: Loreti, Michele, et autres
Publié: (2021)

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

A Dynamic Deontic Simplicial Logic for Joint Commitments
par: Cignarale, Giorgio, et autres
Publié: (2026)

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
par: Bezhanishvili, Nick, et autres
Publié: (2024)

Distributed Knowledge in Simplicial Models
par: Goubault, Éric, et autres
Publié: (2026)

Bisimulation for Impure Simplicial Complexes
par: Bílková, Marta, et autres
Publié: (2024)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
par: Kozyrev, Andrei, et autres
Publié: (2026)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
par: Viennot, Jules, et autres
Publié: (2025)

Impure Simplicial Complexes: Complete Axiomatization
par: Randrianomentsoa, Rojo, et autres
Publié: (2022)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
par: Alkhairy, Maha, et autres
Publié: (2025)

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
par: Yang, Yuanzhe
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
par: Saxena, Ishan, et autres
Publié: (2025)

A Theory of Formal Choreographic Languages
par: Barbanera, Franco, et autres
Publié: (2022)

Meta-Modelling in Formal Concept Analysis
par: Wang, Yingjian
Publié: (2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
par: Rosset, Aloïs, et autres
Publié: (2024)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

Formalization of Amicable Numbers Theory
par: Chen, Zhipeng, et autres
Publié: (2026)

Formalizing equivalences without tears
par: de Jong, Tom
Publié: (2024)

A Formal Framework for the Explanation of Finite Automata Decisions
par: Granada, Jaime Cuartas, et autres
Publié: (2026)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
par: Moreira, Walter, et autres
Publié: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
par: Cecilia, Gabriele, et autres
Publié: (2024)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
par: Cecilia, Gabriele
Publié: (2025)

Formal Modelling and Analysis of Slot Machines
par: Groote, Jan Friso, et autres
Publié: (2024)