Skip to content
GitLab
Explore
Sign in
GAP
gap
gaptypes.json
Find file
Permalink
May 16, 2019
8c35d693
gaptypes.json: update with more symbols (see gap-packages/MathInTheMiddle)
· 8c35d693
Michael Torpey
authored
May 16, 2019
8c35d693
gaptypes.json: update with more symbols (see gap-packages/MathInTheMiddle)
Michael Torpey
authored
May 16, 2019
Loading
