Alex Keizer (@alexkeizer)
github

alexkeizer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 12
  • Following 5
  • Registered over 8 years ago
  • Most used languages
    Lean     75.0 %
    TeX
         25.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 24,862
  • Country Ranking
    Lean     6
    TeX
         1,045

Top repositories

1

QpfTypes

A WIP definitional (co)datatype package for Lean4
Lean
27
star
2

qpf4-example

Lean
2
star
3

lean-naming-lint

A linter for Lean 4 that checks whether definitions conform with Mathlib4's naming convention
Lean
1
star
4

phd-y1-review

First year review for Cambridge PhD
TeX
1
star