Question

Statically balanced trees in Agda

score 260 · Answer 1 · 2025-01-01 22:31:09

260

Views

Statically balanced trees in Agda

Published on 01 January 2025 at 22:31

score 689 · Answer 2 · 2025-01-07 20:24:57

689

Views

How to compare two sets in Agda?

Published on 07 January 2025 at 20:24

score 198 · Answer 3 · 2024-12-29 16:58:19

198

Views

How can i change working of forall in agda?

Published on 29 December 2024 at 16:58

score 172 · Answer 4 · 2025-01-06 06:51:34

172

Views

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

Published on 06 January 2025 at 06:51

score 173 · Answer 5 · 2025-01-03 05:15:06

173

Views

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

Published on 03 January 2025 at 05:15

score 164 · Answer 6 · 2024-12-29 16:46:00

164

Views

How this is working in agda?

Published on 29 December 2024 at 16:46

score 537 · Answer 7 · 2024-12-29 17:34:09

537

Views

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

Published on 29 December 2024 at 17:34

score 161 · Answer 8 · 2025-01-05 06:48:40

161

Views

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

Published on 05 January 2025 at 06:48

score 626 · Answer 9 · 2025-01-01 22:31:18

626

Views

Agda: Simulate Coq's rewrite tactic

Published on 01 January 2025 at 22:31

score 566 · Answer 10 · 2024-12-26 13:26:21

566

Views

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

Published on 26 December 2024 at 13:26

score 371 · Answer 11 · 2024-12-29 16:50:46

371

Views

How to resolve this error in agda?

Published on 29 December 2024 at 16:50

score 98 · Answer 12 · 2024-12-29 16:45:09

98

Views

When will this terminate?

Published on 29 December 2024 at 16:45

score 234 · Answer 13 · 2024-12-29 16:54:46

234

Views

How to prove unfold-reverse for Vec?

Published on 29 December 2024 at 16:54

score 453 · Answer 14 · 2025-01-06 17:19:06

453

Views

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

Published on 06 January 2025 at 17:19

score 364 · Answer 15 · 2024-12-29 16:58:18

364

Views

How to define abstract types in agda

Published on 29 December 2024 at 16:58

score 375 · Answer 16 · 2024-12-29 16:54:45

375

Views

Type hierarchy definition in Coq or Agda

Published on 29 December 2024 at 16:54

score 127 · Answer 17 · 2024-12-29 17:16:21

127

Views

Is there a way to demonstrate uniqueness of false-elim

Published on 29 December 2024 at 17:16

score 653 · Answer 18 · 2024-12-29 16:58:17

653

Views

Pattern match on specialised constructors

Published on 29 December 2024 at 16:58

score 3.5k · Answer 19 · 2024-12-29 17:03:01

3.5k

Views

refl in agda : explaining congruence property

Published on 29 December 2024 at 17:03

score 240 · Answer 20 · 2024-12-29 17:12:53

240

Views

nicer way to write constructors as function in Agda

Published on 29 December 2024 at 17:12

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