Guido De Luca (@g-deluca)
github

g-deluca

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,189,605 (Top 77 %)
  • Followers 15
  • Following 12
  • Registered over 8 years ago
  • Most used languages
    Coq     100.0 %
  • Location 🇦🇷 Argentina
  • Country Total Rank 7,739
  • Country Ranking
    Coq     1

Top repositories

1

android-coq-model

Coq model of Android permission system
Coq
2
star