Graham Leach-Krouse (@gleachkr)
github

gleachkr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 39
  • Following 54
  • Registered almost 11 years ago
  • Most used languages
    JavaScript
         44.4 %
    HTML
         22.2 %
    Nix
         11.1 %
    Lean     11.1 %
    OpenEdge ABL     11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 187,513
  • Country Ranking
    Lean     96
    OpenEdge ABL     321
    Nix
         753

Top repositories

1

ProofJS

A UI Widget for Gentzen-style proof layouts
JavaScript
3
star
2

Carnap-Old

An interactive proof checker that runs in the browser
JavaScript
3
star
3

FiraLogic

A FOSS font for logical notation.
HTML
3
star
4

TermRewriting

Lean formalizations of results from Term Rewriting and All That
Lean
2
star
5

Vampire-Nix

A quick repackaging of a recent vampire version
OpenEdge ABL
1
star
6

razzle

HTML Presentation Primitives
JavaScript
1
star
7

OL-Slides

HTML
1
star
8

ProofML

MathML, but for proofs
JavaScript
1
star
9

wasm-lean

Nix template for a minimal lean-wasm project
Nix
1
star