Test

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

any help

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

Hi

confluence

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)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)https://leanprover.github.io/papers/congr.pdf

(deleted)

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

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

Last updated: Feb 05 2023 at 07:03 UTC