Domain theory

Stream: maths

[Trebor Huang]

Is there any work in mathlib on domain theory? I feel the amount of order theory and category theory is enough to start some basics. I'll play around with these and see what I can contribute.

[Yaël Dillies]

No I don't think we have anything.

[Reid Barton]

There is order.omega_complete_partial_order though it is pretty old and maybe could be better integrated with category theory