Lean repository linked
Formal language convexity in left-orderable groups
arXiv:1905.13001 · 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.