sameer gupta (Mar 07 2022 at 04:38): sameer gupta (Mar 07 2022 at 04:38):Test
sameer gupta (Mar 07 2022 at 04:42):i am having a hard time in understanding them any help?
sameer gupta (Mar 07 2022 at 04:42):any help
sameer gupta (Mar 07 2022 at 04:44):I am having a hard time in getting an intuition of them, any help?
sameer gupta (Mar 07 2022 at 04:45):Hi
sameer gupta (Mar 07 2022 at 04:46):confluence
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) 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) sameer gupta (Mar 07 2022 at 05:59):https://leanprover.github.io/papers/congr.pdf
Paolo Giarrusso (Mar 07 2022 at 07:50):(deleted)
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.
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: Dec 06 2023 at 13:01 UTC