alexkeizer/lean-naming-lint alexkeizer/lean-naming-lint

  • Stars
    star
    1
  • Language Lean
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alexkeizer/lean-naming-lint
github

alexkeizer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

QpfTypes

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

qpf4-example

Lean
2
star
3

phd-y1-review

First year review for Cambridge PhD
TeX
1
star