1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-28 00:40:28 +01:00

Default Branch

1fbd7b875b · Merge pull request #31 from kalmarek/mk/update_to_PG_0.6 · Updated 2024-02-13 12:08:48 +01:00

Branches

c13226a625 · bump to v0.8 · Updated 2024-02-13 11:16:04 +01:00

1
0
Included

47dde30773 · Merge branch '1712.07167' of github.com:kalmarek/Groups.jl into 1712.07167 · Updated 2018-03-22 15:21:13 +01:00

364
1