en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag agda - This is page 10 - GeneraCodice
Avoiding extensionality postulate when defining non-unary functions over quotient types
https://www.generacodice.com/en/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/en/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/en/articolo/3939336/congruence-for-heterogenous-equality
gadt
-
equality
-
proof
-
agda
StackOverflow
Eliminating subst to prove equality
https://www.generacodice.com/en/articolo/3879268/eliminating-subst-to-prove-equality
gadt
-
agda
StackOverflow
Eliminating subst to prove equality
https://www.generacodice.com/en/articolo/3857670/eliminating-subst-to-prove-equality
gadt
-
agda
StackOverflow
Termination of structural induction
https://www.generacodice.com/en/articolo/3814791/termination-of-structural-induction
recursion
-
termination
-
agda
-
induction
StackOverflow
Termination of structural induction
https://www.generacodice.com/en/articolo/3756270/termination-of-structural-induction
recursion
-
termination
-
agda
-
induction
StackOverflow
Parametrized Inductive Types in Agda
https://www.generacodice.com/en/articolo/3646507/parametrized-inductive-types-in-agda
gadt
-
agda
StackOverflow
A definition for finite sets in Agda
https://www.generacodice.com/en/articolo/2842615/a-definition-for-finite-sets-in-agda
agda
StackOverflow
Interpreting a proof of $2^\mathbb{N}$ being uncountable
https://www.generacodice.com/en/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable
formal-methods
-
type-theory
-
agda
cs.stackexchange
«
7
8
9
10
11
12
»
Results found: 135