Skip to main content

Browse the archive

https://github.com/fahad1985lab/Smart--Contracts--Verification--With--Agda
21 July 2022, 12:29:35 UTC
Name Target Message Date
HEAD 4a8fc06 New update for Agda code and HTML file 26 April 2022, 12:19:15 UTC
refs/heads/fahad1985lab-patch-1 1882a40 Delete test.text 27 March 2022, 12:03:15 UTC
refs/heads/main 4a8fc06 New update for Agda code and HTML file 26 April 2022, 12:19:15 UTC
back to top