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: Jun 05 2023 at 09:01 UTC