Skip to content
View yizhouzhang's full-sized avatar
29 followers · 9 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@polyglot-compiler @lexa-lang @rocqetry @deduck-prover

Block or report yizhouzhang

Report abuse

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

Report abuse

Pinned Loading

  1. lexa-lang/lexa lexa-lang/lexa Public

    OCaml 46 3

  2. rocqetry/rocqet rocqetry/rocqet Public

    Rocqet proof language

    Rocq Prover 30