Steve Zdancewic (@Zdancewic)
github

Zdancewic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    25
  • Global Rank 556,620 (Top 20 %)
  • Followers 64
  • Following 2
  • Registered almost 12 years ago
  • Most used languages
    Coq     60.0 %
    HTML
         20.0 %
    OCaml
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 130,419
  • Country Ranking
    Coq     53
    OCaml
         466

Top repositories

1

linearity

Formalization of Linear Logic and Related Programming Languages Metatheory
Coq
10
star
2

ccc

OCaml
4
star
3

oplss2024

OPLSS 2024 Coq Development
HTML
3
star
4

graphs

Coq formalization of graph language
Coq
2
star
5

coq-ext-lib

Coq
2
star