Andrew Cave

@ajcave

🇨🇦 Montreal

Profile age: over 14 years

Updated 15 days ago

7 followers • 0 following

Global Rank

Beginner 3

Persona

Contributor

N/A

#2,087,250

#1,658,256

Top 3 Languages By Stars

updated almost 4 years ago • age about 10 years

Agda89.3%

Coq9.8%

OCaml0.5%

TeX0.3%

Standard ML0.2%

Subscribe to ajcave's GitHub rank updates in your messenger