Stream: Miscellaneous

Topic: newman's lemma and hidley rose lemma


view this post on Zulip sameer gupta (Mar 07 2022 at 04:38):

Test

view this post on Zulip sameer gupta (Mar 07 2022 at 04:42):

i am having a hard time in understanding them any help?

view this post on Zulip sameer gupta (Mar 07 2022 at 04:42):

any help

view this post on Zulip sameer gupta (Mar 07 2022 at 04:44):

I am having a hard time in getting an intuition of them, any help?

view this post on Zulip sameer gupta (Mar 07 2022 at 04:45):

Hi

view this post on Zulip sameer gupta (Mar 07 2022 at 04:46):

confluence

view this post on Zulip sameer gupta (Mar 07 2022 at 04:50):

https://twitter.com/Lavoisierbug/status/1500656596849885184?t=s9DTjA2fCrqIzIrNYG4XhA&s=09
Also, any tips for hindley rose lemma and Newman's lemma?

In #Coq undecidability of higher order problems https://www.ps.uni-saarland.de/Publications/documents/SpiesForster_2019_UndecidabilityHOU.pdf Hilbert's 10th problem https://hal.inria.fr/hal-03359505/document

- cosameer^ (@Lavoisierbug)

view this post on Zulip sameer gupta (Mar 07 2022 at 05:17):

Sidenote : two interesting problems to solve with coq
https://twitter.com/Lavoisierbug/status/1500656596849885184?s=20&t=FNR_SRQjTIYqyssjHqRu6A

In #Coq undecidability of higher order problems https://www.ps.uni-saarland.de/Publications/documents/SpiesForster_2019_UndecidabilityHOU.pdf Hilbert's 10th problem https://hal.inria.fr/hal-03359505/document

- cosameer^ (@Lavoisierbug)

view this post on Zulip sameer gupta (Mar 07 2022 at 05:59):

https://leanprover.github.io/papers/congr.pdf

view this post on Zulip Paolo Giarrusso (Mar 07 2022 at 07:50):

(deleted)

view this post on Zulip Notification Bot (Mar 07 2022 at 08:04):

This topic was moved here from #Proof General users > congruence and intensional type theory by Karl Palmskog.

view this post on Zulip Notification Bot (Mar 07 2022 at 08:06):

This topic was moved here from #Coq users > newman' s lemma and hidley rose lemma by Karl Palmskog.


Last updated: Aug 14 2022 at 12:03 UTC