Software Foundations和訳プロジェクト (@sfja)
Guthub

sfja

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    71
  • Global Org. Rank 67,816 (Top 22 %)
  • Registered about 13 years ago
  • Most used languages
    Coq     100.0 %
  • Location 🇯🇵 Japan
  • Country Total Rank 5,372
  • Country Ranking
    Coq     2

Top repositories

1

sfja

SoftwareFoundations(Ja)
Coq
71
star