Evan Marzion (@emarzion)
github

emarzion

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Rank 587,022 (Top 21 %)
  • Followers 7
  • Following 4
  • Registered over 8 years ago
  • Most used languages
    Coq     60.0 %
    Haskell
         40.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 107,140
  • Country Ranking
    Coq     96
    Haskell
         640

Top repositories

1

SystemT

An interpreter for Gรถdel's System T
Haskell
11
star
2

Linear-Logic-Proof-Assistant

Sequent calculus based proof assistant for ILL
Haskell
6
star
3

coqtbgen

formally verified endgame tablebase generator in coq
Coq
4
star
4

cantor

constructive formalization of cantor's theorem about dense linear orders without endpoints
Coq
1
star
5

IFOL

Coq formalization of intuitionistic first-order logic
Coq
1
star