Question

Statically balanced trees in Agda

score 225 · Answer 1 · 2024-10-14 20:12:25

225

Views

Statically balanced trees in Agda

Published on 14 October 2024 at 20:12

score 653 · Answer 2 · 2024-10-18 00:02:46

653

Views

How to compare two sets in Agda?

Published on 18 October 2024 at 00:02

score 182 · Answer 3 · 2024-10-10 03:15:38

182

Views

How can i change working of forall in agda?

Published on 10 October 2024 at 03:15

score 138 · Answer 4 · 2024-10-18 03:59:34

138

Views

How to use Logical AND operation between two sets in agda?

Published on 18 October 2024 at 03:59

score 143 · Answer 5 · 2024-10-15 10:45:42

143

Views

How to reconstruct with Agda the proof of a theorem produced by one ATP

Published on 15 October 2024 at 10:45

score 125 · Answer 6 · 2024-10-10 02:16:23

125

Views

How this is working in agda?

Published on 10 October 2024 at 02:16

score 514 · Answer 7 · 2024-10-18 04:28:31

514

Views

How to prove there exist a rational which is less than some rational in agda?

Published on 18 October 2024 at 04:28

score 145 · Answer 8 · 2024-10-18 04:03:20

145

Views

Is there any non-trivial code that uses Data.Maybe.Is-just?

Published on 18 October 2024 at 04:03

score 595 · Answer 9 · 2024-10-14 20:12:47

595

Views

Agda: Simulate Coq's rewrite tactic

Published on 14 October 2024 at 20:12

score 523 · Answer 10 · 2024-10-12 12:51:37

523

Views

Agda: proving that, when values are equal, their constructor arguments are equal

Published on 12 October 2024 at 12:51

score 361 · Answer 11 · 2024-10-10 02:42:02

361

Views

How to resolve this error in agda?

Published on 10 October 2024 at 02:42

score 86 · Answer 12 · 2024-10-10 02:15:43

86

Views

When will this terminate?

Published on 10 October 2024 at 02:15

score 224 · Answer 13 · 2024-10-10 03:00:53

224

Views

How to prove unfold-reverse for Vec?

Published on 10 October 2024 at 03:00

score 419 · Answer 14 · 2024-10-15 10:46:34

419

Views

A theorem prover / proof assistant supporting (multiple) subtyping / subclassing

Published on 15 October 2024 at 10:46

score 363 · Answer 15 · 2024-10-10 03:15:37

363

Views

How to define abstract types in agda

Published on 10 October 2024 at 03:15

score 367 · Answer 16 · 2024-10-10 03:00:52

367

Views

Type hierarchy definition in Coq or Agda

Published on 10 October 2024 at 03:00

score 121 · Answer 17 · 2024-10-16 03:35:05

121

Views

Is there a way to demonstrate uniqueness of false-elim

Published on 16 October 2024 at 03:35

score 642 · Answer 18 · 2024-10-10 03:15:36

642

Views

Pattern match on specialised constructors

Published on 10 October 2024 at 03:15

score 3.5k · Answer 19 · 2024-10-10 03:23:16

3.5k

Views

refl in agda : explaining congruence property

Published on 10 October 2024 at 03:23

score 226 · Answer 20 · 2024-10-16 03:19:16

226

Views

nicer way to write constructors as function in Agda

Published on 16 October 2024 at 03:19

List Question

Statically balanced trees in Agda

How to compare two sets in Agda?

How can i change working of forall in agda?

How to use Logical AND operation between two sets in agda?

How to reconstruct with Agda the proof of a theorem produced by one ATP

How this is working in agda?

How to prove there exist a rational which is less than some rational in agda?

Is there any non-trivial code that uses Data.Maybe.Is-just?

Agda: Simulate Coq's rewrite tactic

Agda: proving that, when values are equal, their constructor arguments are equal

How to resolve this error in agda?

When will this terminate?

How to prove unfold-reverse for Vec?

A theorem prover / proof assistant supporting (multiple) subtyping / subclassing

How to define abstract types in agda

Type hierarchy definition in Coq or Agda

Is there a way to demonstrate uniqueness of false-elim

Pattern match on specialised constructors

refl in agda : explaining congruence property

nicer way to write constructors as function in Agda

Trending Questions

Popular # Hahtags

Popular Questions