leanprover-community/mathlib_stats

Issues

• better ticks in nolints.png

  #7 opened 6 months ago by bryangingechen
  1

• add a line for the style linter in nolints.png

  #6 opened 6 months ago by bryangingechen
  1

• leanprover-community-bot takes up a spot in the "# by commits" column

  #5 opened 6 months ago by bryangingechen
  1

• duplicate entries in the "Authors" table

  #9 opened 3 years ago by benjamindavidson
  3