Andreas Lynge (@andreaslyn)
github

andreaslyn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 829,844 (Top 29 %)
  • Followers 14
  • Following 3
  • Registered over 9 years ago
  • Most used languages
    Coq     50.0 %
    Haskell
         50.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 2,826
  • Country Ranking
    Coq     19
    Haskell
         32

Top repositories

1

mini-yu

A dependently typed programming language prototype
Haskell
10
star
2

hott-classes

Coq
1
star