stainless
Here are 13 public repositories matching this topic...
A formal definition of a language accompanied by proofs of its properties.
-
Updated
Feb 11, 2024 - TeX
Stainless directly built on System FR, with standalone front-end
-
Updated
Oct 26, 2021 - Scala
System FR: Formalized Foundations for Stainless
-
Updated
Oct 25, 2021 - Coq
MSc project on «Formal Verification of Rust with Stainless».
-
Updated
Aug 18, 2021 - TeX
Actor System library for Stainless which runs on Akka
-
Updated
Feb 25, 2021 - Scala
Verification and Generation of Smart Contracts using Stainless and Scala
-
Updated
Oct 3, 2020 - HTML
A sbt plugin for stainless users to verify code in sbt command line.
-
Updated
Oct 20, 2017 - Scala
Improve this page
Add a description, image, and links to the stainless topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stainless topic, visit your repo's landing page and select "manage topics."