Cover Image

Capturing properties of planar diagrams in Lean proof assistant software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Litterick, Alastair, Vernitski, Alexei, Woods, Billy
Format:	Preprint
Published:	2025
Subjects:	Combinatorics Logic in Computer Science Group Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Groups of permutations preserving orientation (parity) of subsets of a fixed size, and related monoids
by: Fernandes, Vitor, et al.
Published: (2024)

VC-dimension of generalized progressions in some nonabelian groups
by: Conant, Gabriel, et al.
Published: (2025)

Stabilizers and NIP arithmetic regularity
by: Conant, G., et al.
Published: (2025)

Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
by: Banerjee, Amitayu
Published: (2020)

Approximate subgroups with bounded VC-dimension
by: Conant, Gabriel, et al.
Published: (2020)

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
by: Boissonneau, Blaise, et al.
Published: (2024)

A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture
by: Duda, Karol
Published: (2021)

Omega-categorical limits of betweenness relations and $D$-sets
by: Almazaydeh, Asma Ibrahim, et al.
Published: (2024)

An arithmetic algebraic regularity lemma
by: Pillay, Anand, et al.
Published: (2024)

An analytic version of stable arithmetic regularity
by: Conant, Gabriel, et al.
Published: (2024)

Permutation clones that preserve relations
by: Boykett, Tim
Published: (2024)

Stable functions and Følner's Theorem
by: Conant, Gabriel
Published: (2024)

Snakes can be fooled into thinking they live in a tree
by: Bartholdi, Laurent, et al.
Published: (2024)

Theory of Interpretations I. Foundations
by: Daniyarova, Evelina, et al.
Published: (2025)

Groups elementarily equivalent to metabelian Baumslag$-$Solitar groups and regular bi-interpretability
by: Daniyarova, Evelina, et al.
Published: (2024)

Divisibility rules for integers presented as permutations
by: Oliver, Thomas, et al.
Published: (2025)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
by: Fang, Wenjie
Published: (2022)

Shifts on the lamplighter group
by: Bartholdi, Laurent, et al.
Published: (2024)

Word equations, constraints, and formal languages
by: Ciobanu, Laura
Published: (2024)

Slice closures of indexed languages and word equations with counting constraints
by: Ciobanu, Laura, et al.
Published: (2024)

Completing the proof of the Liebeck--Nikolov--Shalev conjecture
by: Lifshitz, Noam
Published: (2024)

Elementary abelian subgroups: from algebraic groups to finite groups
by: An, Jianbei, et al.
Published: (2023)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
by: Huang, Yihe, et al.
Published: (2026)

Groups elementary equivalent to finitely generated free metabelian
by: Kharlampovich, Olga, et al.
Published: (2023)

A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)
by: Darbinyan, Arman, et al.
Published: (2025)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
by: Dwivedi, Prateek, et al.
Published: (2026)

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups
by: Dong, Ruiwen
Published: (2024)

Conjugacy problem in T-RAAGs
by: Crowe, Gemma, et al.
Published: (2025)

Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction
by: Lisitsa, Alexei
Published: (2025)

3D-grids are not transducible from planar graphs
by: Gajarský, Jakub, et al.
Published: (2025)

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I
by: Sela, Z.
Published: (2025)

The Finite Length Property of the Rado Graph and Friends
by: Yang, Jingjie, et al.
Published: (2026)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
by: Mohamed, Abdalrhman, et al.
Published: (2025)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

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

Indivisibility and uniform computational strength
by: Gill, Kenneth
Published: (2023)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

Topological properties of Wazewski dendrite groups
by: Duchesne, Bruno
Published: (2019)

Primitive pseudo-finite permutation groups of finite SU-rank
by: Karhumäki, Ulla, et al.
Published: (2025)