Wolfgang Meier (@womeier)
github

womeier

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,846,687 (Top 64 %)
  • Followers 4
  • Following 6
  • Registered about 5 years ago
  • Most used languages
    Coq     100.0 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Ranking
    Coq     14

Top repositories

1

certicoqwasm

Coq
3
star