Alastair Litterick

Orcid: 0000-0002-1355-258X

According to our database¹, Alastair Litterick authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Are automated proof assistants ready for semigroup research? Orientation-preserving mappings and proof assistant Lean.

[DOI]

CoRR, November, 2025

Condorcet domains on at most seven alternatives.

[DOI]

Math. Soc. Sci., 2025

2023

Condorcet Domains of Degree at most Seven.

[DOI]

CoRR, 2023