@skbaek
github

skbaek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 502,919 (Top 18 %)
  • Followers 12
  • Registered about 9 years ago
  • Most used languages
    Lean     50.0 %
    HTML
         25.0 %
    Prolog
         25.0 %

Top repositories

1

Ethics

I.I-XI of Spinoza's Ethics, formalized in Coq
HTML
18
star
2

tesc

TESC proof format for first-order ATPs
Prolog
7
star
3

cvx

Lean
3
star
4

omega

Lean
1
star