Skip to content
View zhenyavinogradov's full-sized avatar
8 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report zhenyavinogradov

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. random-agda random-agda Public

    Agda

  2. zhenyavinogradov.github.io zhenyavinogradov.github.io Public

    HTML

  3. stlc stlc Public

    Semantics of simply typed lambda calculus in Agda

    Agda