Work

Computational source code and Lean formalization for Common neighbour conjectures for Saxl graphs fail at every base size

Year: 2026

Type: software

Abstract: Computational source code and a Lean 4 formalization accompanying the paper Common neighbour conjectures for Saxl graphs fail at every base size.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.22208826

Authors: Rizzoli, Aluna, Thomas, Adam R.

Language: English

Topic: Finite Group Theory Research

Subfield: Discrete Mathematics and Combinatorics

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7204833862

Cites:

Cited by: 1

Related to: 10