Giters
james-d-mitchell
/
gaplint
A linter for GAP (https://www.gap-system.org/)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
4
Issues:
10
Forks:
4
james-d-mitchell/gaplint Stargazers
James Mitchell
james-d-mitchell
kiryph
Luna Elliott
le27
Kamil Zabielski
limakzi
Lea Racine
LRacine
Anakin Dey
Spamakin
Wilf Wilson
wilfwilson