From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
Official website
Garbage collected: Yes
Parameter passing methods: By value
Type strength: Strong
Type checking: Static
Lang tag(s): leon

Listed below are all of the tasks on Rosetta Code which have been solved using Leon.

The Leon system aims to help developers build verified Scala software. It encourages using a small set of core Scala features, but provides unique automation functionality. In particular, Leon can

  • verify statically that your program confirms to a given specification and that it cannot crash at run-time
  • repair a program for you to ensure that the above holds
  • automatically execute and synthesize working functions from partial input/output specifications and test cases.

Link to the documentation

This category currently contains no pages or media.