Jesper Bengtson (@jesper-bengtson)
github

jesper-bengtson

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 915,850 (Top 32 %)
  • Followers 1
  • Registered about 11 years ago
  • Most used languages
    Coq     75.0 %
    F#
         25.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 3,077
  • Country Ranking
    Coq     9
    F#
         51

Top repositories

1

ChargeCore

Coq
5
star
2

Java

A model of Java in Coq based on the Charge! framework.
Coq
3
star
3

FSharpKattis

F#
1
star
4

Scrabble-FP2021

1
star
5

Charge

Higher-order separation logic framework in Coq
Coq
1
star