Stainless Documentation
Contents
Index
Table Of Contents
Introduction
Getting Started
Installing Stainless
Tutorial: Sorting
Pure Scala
Stainless Library
Imperative
Verification
Proving Theorems
Limitations of Verification
Command Line Options
Stainless Smart Contracts
Frequently Asked Questions
References
Stainless’ Internals