Skip to content

runtimeverification/erc20-semantics

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
tests
tests
 
 
erc20.k
erc20.k
 
 
erc20.md
erc20.md
 
 

About

ERC20 in K

License

View license
Activity
Custom properties

Stars

50 stars

Watchers

27 watching

Forks

15 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •