Tag agda - Ceci est la page 10 - GeneraCodice

Avoiding extensionality postulate when defining non-unary functions over quotient types

https://www.generacodice.com/fr/articolo/4254605/avoiding-extensionality-postulate-when-defining-non-unary-functions-over-quotient-types

  agda

StackOverflow

Finding out which metas are unsolved in an Agda program

https://www.generacodice.com/fr/articolo/4156623/finding-out-which-metas-are-unsolved-in-an-agda-program

  type-inference  -  agda  -  elaboration

StackOverflow

Congruence for heterogenous equality

https://www.generacodice.com/fr/articolo/3939336/congruence-for-heterogenous-equality

  gadt  -  equality  -  proof  -  agda

StackOverflow

Eliminating subst to prove equality

https://www.generacodice.com/fr/articolo/3879268/eliminating-subst-to-prove-equality

  gadt  -  agda

StackOverflow

Eliminating subst to prove equality

https://www.generacodice.com/fr/articolo/3857670/eliminating-subst-to-prove-equality

  gadt  -  agda

StackOverflow

Termination of structural induction

https://www.generacodice.com/fr/articolo/3814791/termination-of-structural-induction

  recursion  -  termination  -  agda  -  induction

StackOverflow

Termination of structural induction

https://www.generacodice.com/fr/articolo/3756270/termination-of-structural-induction

  recursion  -  termination  -  agda  -  induction

StackOverflow

Parametrized Inductive Types in Agda

https://www.generacodice.com/fr/articolo/3646507/parametrized-inductive-types-in-agda

  gadt  -  agda

StackOverflow

A definition for finite sets in Agda

https://www.generacodice.com/fr/articolo/2842615/a-definition-for-finite-sets-in-agda

  agda

StackOverflow

Interpreting a proof of $2^\mathbb{N}$ being uncountable

https://www.generacodice.com/fr/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable

  formal-methods  -  type-theory  -  agda

cs.stackexchange

• «
• 7
• 8
• 9
• 10
• 11
• 12
• »

Résultats trouvés: 135