GitHub repository: nishant-sachdeva/solidityFormalSpec
Primary language: Racket
Created: 2022-11-25T04:37:03Z
Description: Contains an attempt at creating a formal specification for solidity