Add ideal completions? - Githubissues

jonsterling / coq-domains

http://www.jonmsterling.com/coq-domains/toc.html

18 stars 1 forks source link

Add ideal completions? #17

Open clayrat opened 3 years ago

clayrat commented 3 years ago

https://planetmath.org/IdealCompletionOfAPoset (as per Andrej Bauer's suggestion)

jonsterling commented 3 years ago

Great idea!! This would be super useful IMO and it’s a beautiful bit of math.

Sent from my iPhone

On Jul 8, 2021, at 4:37 PM, Alex Gryzlov @.***> wrote:

https://planetmath.org/IdealCompletionOfAPoset (as per Andrej Bauer's suggestion)

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or unsubscribe.