TechQA.

Question

Calling my own function in a predicate in Why3

score 599 · Answer 1 · 2018-07-09T19:00:33.130000

599 views Asked by Jay Kruer At 09 July 2018 at 19:00

score 176 · Answer 2 · 2019-01-23T18:02:22.353000

176 views Asked by Derek Brown At 23 January 2019 at 18:02

score 198 · Answer 3 · 2017-11-17T17:13:13.833000

198 views Asked by Derek Brown At 17 November 2017 at 17:13

List Question