Question

Statically balanced trees in Agda

score 201 · Answer 1 · 2015-06-09 21:12:45

201

Views

Statically balanced trees in Agda

Published on 09 June 2015 at 21:12

score 634 · Answer 2 · 2015-06-12 02:03:26

634

Views

How to compare two sets in Agda?

Published on 12 June 2015 at 02:03

score 148 · Answer 3 · 2015-06-13 10:37:00

148

Views

How can i change working of forall in agda?

Published on 13 June 2015 at 10:37

score 118 · Answer 4 · 2015-06-13 16:04:24

118

Views

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

Published on 13 June 2015 at 16:04

score 118 · Answer 5 · 2015-06-14 14:35:58

118

Views

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

Published on 14 June 2015 at 14:35

score 105 · Answer 6 · 2015-06-16 11:13:22

105

Views

How this is working in agda?

Published on 16 June 2015 at 11:13

score 493 · Answer 7 · 2015-06-16 08:50:01

493

Views

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

Published on 16 June 2015 at 08:50

score 113 · Answer 8 · 2015-06-17 06:58:43

113

Views

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

Published on 17 June 2015 at 06:58

score 570 · Answer 9 · 2015-06-13 02:11:53

570

Views

Agda: Simulate Coq's rewrite tactic

Published on 13 June 2015 at 02:11

score 497 · Answer 10 · 2015-06-16 23:12:49

497

Views

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

Published on 16 June 2015 at 23:12

score 352 · Answer 11 · 2015-06-20 08:34:05

352

Views

How to resolve this error in agda?

Published on 20 June 2015 at 08:34

score 76 · Answer 12 · 2015-06-22 08:54:50

76

Views

When will this terminate?

Published on 22 June 2015 at 08:54

score 215 · Answer 13 · 2014-11-10 10:04:43

215

Views

How to prove unfold-reverse for Vec?

Published on 10 November 2014 at 10:04

score 398 · Answer 14 · 2014-11-11 15:03:14

398

Views

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

Published on 11 November 2014 at 15:03

score 342 · Answer 15 · 2014-11-12 13:46:44

342

Views

How to define abstract types in agda

Published on 12 November 2014 at 13:46

score 359 · Answer 16 · 2014-11-13 18:03:33

359

Views

Type hierarchy definition in Coq or Agda

Published on 13 November 2014 at 18:03

score 109 · Answer 17 · 2014-11-19 14:20:19

109

Views

Is there a way to demonstrate uniqueness of false-elim

Published on 19 November 2014 at 14:20

score 634 · Answer 18 · 2014-11-20 17:32:18

634

Views

Pattern match on specialised constructors

Published on 20 November 2014 at 17:32

score 3.5k · Answer 19 · 2014-11-23 16:59:40

3.5k

Views

refl in agda : explaining congruence property

Published on 23 November 2014 at 16:59

score 219 · Answer 20 · 2014-11-23 19:41:39

219

Views

nicer way to write constructors as function in Agda

Published on 23 November 2014 at 19:41

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