StackOverflow Questions for Tag: leon

Score: 7

Answers: 2

Reputation: 2600

Performing double induction in Welder

Score: 0

Answers: 1

Reputation: 2600

Using notI in Welder. Example contradiction proof

Score: 0

Answers: 1

Reputation: 2600

How to declare an abstract function in Inox

Score: 0

Answers: 1

Reputation: 2600

Modelling a class hierarchy in Inox

Score: 0

Answers: 1

Reputation: 2600

Using TypedADT constructs in Inox

Score: 0

Answers: 1

Reputation: 2600

Defining infix operator in Welder

Score: 0

Answers: 1

Reputation: 2600

Is there a notion of strong induction in Welder?

Score: 0

Answers: 1

scalaformal-verificationleon

Reputation: 2600

Proving properties of sets in Inox/Welder

Score: 0

Answers: 1

Reputation: 2600

Your firewall blocks traffic on websocket ports error on online service

websocketfirewallleon

Score: 0

Answers: 0

Tom

Reputation: 934

Leon is not able to prove correctness of Simple Recursive program?

Score: 1

Answers: 1

Wenguan Huang

Reputation: 19

why the wrongCommutative timeout in the PropositionalLogic example in Leon Online?

Score: 1

Answers: 1

Eric Pony

Reputation: 43

Problems with generic abstract types

Score: 3

Answers: 1

Tom

Reputation: 934

How to set XLang in Leon online system,Is it possible?

Score: 2

Answers: 1

Eric Pony

Reputation: 43

Is it possible to reason based on spec instead of the implementation?

Score: 1

Answers: 1

Samuel Gruetter

Reputation: 1703

short-circuit evaluation in leon --xlang

Score: 0

Answers: 1

Hiura

Reputation: 3530

Is it possible to have requirement on data structure in Leon?

Score: 0

Answers: 1

Hiura

Reputation: 3530

Leon: how to use custom `==` operator?

Score: -1

Answers: 1

Ravi Mad

Reputation: 48

Why are there multiple options for the same SMT solver