Lean repository linked
Ping-pong configurations and circular orders on free groups
arXiv:1709.02348 · arXiv
Lean formalisations (1)
homeowmorphism/finitely-generated-positive-cones-in-fnz at 20bfd7cb2abb
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.