Lean repository linked
Identifying the Rooted Species Tree from the Distribution of Unrooted Gene Trees under the Coalescent
arXiv:0912.4472 · arXiv
Lean formalisations (1)
vltanh/lean4-adr11 at 2db7f8135975
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.