:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Boldo, Sylvie, Clément, François, Martin, Vincent, Mayero, Micaela
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2512.04573
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
di: Rosain, Johann, et al.
Pubblicazione: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
di: Caldwell, Benjamin, et al.
Pubblicazione: (2026)

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

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

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

Adhesive category theory for graph rewriting in Rocq
di: Arsac, Samuel, et al.
Pubblicazione: (2025)

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
di: Baudart, Guillaume, et al.
Pubblicazione: (2026)

Nominal Sets in Rocq
di: Paranhos, Fabrício Sanches, et al.
Pubblicazione: (2025)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
di: Kozyrev, Andrei, et al.
Pubblicazione: (2025)

A Graded Modal Dependent Type Theory with Erasure, Formalized
di: Abel, Andreas, et al.
Pubblicazione: (2026)

Formal P-Category Theory and Normalization by Evaluation in Rocq
di: Berry, David G., et al.
Pubblicazione: (2025)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
di: Kozyrev, Andrei, et al.
Pubblicazione: (2026)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
di: Viennot, Jules, et al.
Pubblicazione: (2025)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
di: Alkhairy, Maha, et al.
Pubblicazione: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

Graded Quantitative Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Graded Courrent PDL
di: Lin, Chun-Yu
Pubblicazione: (2025)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

The Complexity of Fragments of Second-Order HyperLTL
di: Regaud, Gaëtan, et al.
Pubblicazione: (2025)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
di: Abraham, Uri, et al.
Pubblicazione: (2023)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Hammering Higher Order Set Theory
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
di: Cecilia, Gabriele
Pubblicazione: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
di: Moreira, Walter, et al.
Pubblicazione: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
di: Cecilia, Gabriele, et al.
Pubblicazione: (2024)

A Two-Watched Literal Scheme for First-Order Logic
di: Briefs, Yasmine, et al.
Pubblicazione: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
di: van Bergerem, Steffen, et al.
Pubblicazione: (2023)