https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Tip revision: bb0aa39d6c8920e7b899aa8cd904bc424f807fb8 authored by Fahad Alhabardi on 27 January 2024, 14:06:31 UTC
The code is working with new version of Agda
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 |