Beta Ziliani (@beta-ziliani)
github

beta-ziliani

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 65
  • Following 1
  • Registered over 11 years ago
  • Most used languages
    Coq     75.0 %
    Crystal
         25.0 %

Top repositories

1

mtac-plugin

Plugin for Coq 8.5
Coq
4
star
2

sf

Software Foundations of Pierce et al.
Coq
3
star
3

pqueue.cr

A lock-free priority queue
Crystal
1
star
4

ssreflect-1.4

Ssreflect
Coq
1
star