Laurențiu Dascălu (@laurentiu-sana)
github

laurentiu-sana

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Registered over 13 years ago
  • Most used languages
    Shell
         100.0 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 10,513
  • Country Ranking
    Shell
         1,416

Top repositories

1

LSP-checker

Liskov substitution principle checker
Shell
1
star
2

FormalVerification

1
star