Stream: Is there code for X?

Topic: linear extensions of a partial order

Naso (Jul 16 2023 at 12:25):

Is there already a theory in the AFP or elsewhere that deals with linear extensions of partial orders or topological sortings of a DAG ? Thanks!

Lukas Stevens (Jul 17 2023 at 08:25):

The linear extension of partial orders is formalised in the entry Szpilrajn

Last updated: Feb 25 2026 at 08:53 UTC