Stream: Is there code for X?

Topic: linear extensions of a partial order

view this post on Zulip 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!

view this post on Zulip Lukas Stevens (Jul 17 2023 at 08:25):

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

Last updated: Dec 07 2023 at 16:21 UTC