https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
Revision 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC, committed by fahad1985lab on 26 April 2022, 12:19:15 UTC
1 parent 6d8d254
Tip revision: 4a8fc06620487694f230764290be5c60ad627dc9 authored by fahad1985lab on 26 April 2022, 12:19:15 UTC
New update for Agda code and HTML file
New update for Agda code and HTML file
Tip revision: 4a8fc06
File | Mode | Size |
---|---|---|
ScriptTester | ||
html | ||
.gitignore | -rw-r--r-- | 19 bytes |
LICENSE | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 520 bytes |
Computing file changes ...