https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
History
Tip revision: bb0aa39d6c8920e7b899aa8cd904bc424f807fb8 authored by Fahad Alhabardi on 27 January 2024, 14:06:31 UTC
The code is working with new version of Agda
Tip revision: bb0aa39
File Mode Size
ScriptTester
html
.gitignore -rw-r--r-- 19 bytes
LICENSE -rw-r--r-- 34.3 KB
README.md -rw-r--r-- 1.2 KB

README.md

back to top