smart
smart
copied to clipboard
Published
20 hours ago
•
epfl-lara
→
Metadata
Verification and Generation of Smart Contracts using Stainless and Scala
Readme
Issues
←
Metadata
35
Stars
5
Forks
Watchers
Owner
epfl-lara
Metadata
Verification and Generation of Smart Contracts using Stainless and Scala
Back