Block or Report
Block or report mzeuner
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
ex-of-prog-paradigms
ex-of-prog-paradigms PublicA repository containing simple code examples in various languages showcasing features of various programming paradigms
Haskell
-
SimpleHoareProver
SimpleHoareProver PublicA simple implementation of Hoare logic in Agda, closely following the original paper
Agda
-
-
AGDA-Graphs
AGDA-Graphs PublicForked from nellykorling/AGDA-Graphs
Bachelor thesis in computer science about the formalisation of aspects of graph theory in AGDA
Agda
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.