Josh Chen (@jaycech3n)
github

jaycech3n

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    83
  • Global Rank 237,769 (Top 9 %)
  • Followers 44
  • Following 48
  • Registered almost 12 years ago
  • Most used languages
    Standard ML     40.0 %
    Isabelle     20.0 %
    Agda     20.0 %
    TeX
         20.0 %
  • Location 🇦🇹 Austria
  • Country Total Rank 1,194
  • Country Ranking
    Agda     1
    Standard ML     2
    Isabelle     3
    TeX
         198

Top repositories

1

Isabelle-HoTT

An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Standard ML
34
star
2

CwF

Categories with families in HoTT
Agda
9
star
3

Isabelle-Spartan

A dependent type theory logic for Isabelle
Standard ML
6
star
4

math

scribbles
TeX
1
star
5

Pure_Logic

Isabelle's Pure logic, directly extended to FOL/HOL
Isabelle
1
star