Stainless Documentation
References
|
Contents
Stainless’ Internals
¶
The main component of Stainless and the dataflow in its pipeline:
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