Jesse Michael Han (@jesse-michael-han)
github

jesse-michael-han

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    174
  • Global Rank 137,331 (Top 5 %)
  • Followers 71
  • Following 19
  • Registered over 6 years ago
  • Most used languages
    Lean     66.7 %
    Python
         22.2 %
    Haskell
         11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 37,531
  • Country Ranking
    Lean     3
    Haskell
         3,091

Top repositories

1

lean-gptf

Interactive neural theorem proving in Lean
Lean
113
star
2

lean-step-public

Proof artifact co-training for Lean
Lean
36
star
3

lean-tpe-public

The Lean Theorem Proving Environment
Lean
13
star
4

neuro-cadical

CaDiCaL + neural glue variable predictions
Python
9
star
5

lean-parser-combinators

Monadic parser combinators, in Lean
Lean
4
star
6

neurocuber-public

Learning cubing heuristics for SAT from DRAT proofs
Python
4
star
7

lean-demo

Lean
1
star
8

colada-parser

A parser for Colada, a controlled natural language for the calculus of inductive constructions
Haskell
1
star
9

lean-coffee-can

Lean
1
star