Question

How to extract a variable from an exist clause

score 32 · Answer 1 · 2024-03-27T19:04:07.670000

32

Views

How to extract a variable from an exist clause

Published on 27 March 2024 at 19:04

score 46 · Answer 2 · 2024-03-26T15:05:46.803000

46

Views

Simple task scheduler state machine in Dafny

Published on 26 March 2024 at 15:05

score 38 · Answer 3 · 2024-03-18T09:10:22.667000

38

Views

How to remove an element from a map in Dafny

Published on 18 March 2024 at 09:10

score 40 · Answer 4 · 2024-03-17T22:47:54.860000

40

Views

Trying to prove a set to be the union of its singleton sets in Dafny

Published on 17 March 2024 at 22:47

score 51 · Answer 5 · 2024-03-06T17:56:31.587000

51

Views

How to work around lack of Function Extensionality in Dafny?

Published on 06 March 2024 at 17:56

score 28 · Answer 6 · 2024-02-28T12:37:35.613000

28

Views

old expression in (ghost) predicates

Published on 28 February 2024 at 12:37

score 110 · Answer 7 · 2024-02-24T13:22:37.730000

110

Views

Dafny: comparing lexicographic tuples

Published on 24 February 2024 at 13:22

score 138 · Answer 8 · 2024-02-24T11:07:44.283000

138

Views

Inserting a node at a random position in a linked list: Dafny

Published on 24 February 2024 at 11:07

score 46 · Answer 9 · 2024-02-10T00:36:36.123000

46

Views

Dafny issue modifying array member of class

Published on 10 February 2024 at 00:36

score 60 · Answer 10 · 2024-02-09T08:11:30.653000

60

Views

Calling C# from Dafny: unable to find certain names in System.Net (.NET core 6.0)

Published on 09 February 2024 at 08:11

score 50 · Answer 11 · 2024-02-07T21:04:05.530000

50

Views

Dafny error: rbrace expected when using sum

Published on 07 February 2024 at 21:04

score 184 · Answer 12 · 2024-01-29T15:36:17.410000

184

Views

Linked list insertion in Dafny

Published on 29 January 2024 at 15:36

score 99 · Answer 13 · 2024-01-19T13:02:18.083000

99

Views

Dafny linked queue implementation

Published on 19 January 2024 at 13:02

score 55 · Answer 14 · 2024-01-16T15:53:27.307000

55

Views

Visualize the verification conditions in Dafny

Published on 16 January 2024 at 15:53

score 131 · Answer 15 · 2024-01-14T18:52:35.233000

131

Views

I am trying to solve a resize of array using Dafny

Published on 14 January 2024 at 18:52

score 41 · Answer 16 · 2024-01-10T19:18:48.063000

41

Views

Properties of < on unary numbers in Dafny

Published on 10 January 2024 at 19:18

score 269 · Answer 17 · 2024-01-04T23:32:04.867000

269

Views

Are Dafny "reals" really "real"

Published on 04 January 2024 at 23:32

score 102 · Answer 18 · 2023-12-25T17:02:46.007000

102

Views

Propagate `requires` in lambda functions in Dafny

Published on 25 December 2023 at 17:02

score 81 · Answer 19 · 2023-12-25T15:07:13.623000

81

Views

Function extensionality in Dafny

Published on 25 December 2023 at 15:07

score 56 · Answer 20 · 2023-12-21T15:58:29.323000

Proving "each element in a sequence is 0 ==> the element at each index of the sequence is 0" is counterintuitive. How to reason about it?

List Question

How to extract a variable from an exist clause

Simple task scheduler state machine in Dafny

How to remove an element from a map in Dafny

Trying to prove a set to be the union of its singleton sets in Dafny

How to work around lack of Function Extensionality in Dafny?

old expression in (ghost) predicates

Dafny: comparing lexicographic tuples

Inserting a node at a random position in a linked list: Dafny

Dafny issue modifying array member of class

Calling C# from Dafny: unable to find certain names in System.Net (.NET core 6.0)

Dafny error: rbrace expected when using sum

Linked list insertion in Dafny

Dafny linked queue implementation

Visualize the verification conditions in Dafny

I am trying to solve a resize of array using Dafny

Properties of < on unary numbers in Dafny

Are Dafny "reals" really "real"

Propagate `requires` in lambda functions in Dafny

Function extensionality in Dafny

Proving "each element in a sequence is 0 ==> the element at each index of the sequence is 0" is counterintuitive. How to reason about it?

Trending Questions

Popular # Hahtags

Popular Questions