https://github.com/radrow/hagia-sophia

Automated property checker for Sophia smart contract language
https://github.com/radrow/hagia-sophia

Last synced: over 1 year ago
JSON representation

Automated property checker for Sophia smart contract language

• Host: GitHub
• URL: https://github.com/radrow/hagia-sophia
• Owner: radrow
• License: mit
• Created: 2020-10-17T09:56:14.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2020-10-18T18:31:34.000Z (over 5 years ago)
• Last Synced: 2025-01-22T21:28:33.785Z (over 1 year ago)
• Language: Haskell
• Size: 5.86 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# hagia-sophia

Automated property checker for Sophia smart contract language



## Support

 - aeternity: `ak_n84pX8BJsthdZ6XHfki8vSFZsV5EaZjCPCX9iBQ8xRYeefGRo`