Martin Berger (@martinberger)
github

martinberger

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 25
  • Following 3
  • Registered about 14 years ago
  • Most used languages
    Java
         50.0 %
    Scala
         50.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 48,514
  • Country Ranking
    Scala
         481
    Java
         7,773

Top repositories

1

hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Scala
4
star
2

n-queens-with-lines

A toy repo to demonstrate to students the use of GitHub actions
Java
1
star