Actions: oscar-system/Oscar.jl
Actions
4,364 workflow run results
4,364 workflow run results
number_of_
to the styleguide. (#3305)
Documentation
#12816:
Commit 5413e7a
pushed
by
fingolfin
QuadFormAndIsom
: small optimizations after users' feedbacks (#3575)
Documentation
#12810:
Commit 0ca9508
pushed
by
simonbrandhorst
QuadFormAndIsom
: small optimizations after users' feedbacks
Documentation
#12805:
Pull request #3575
synchronize
by
StevellM
fp_group_with_isomorphism
, pc_group_with_isomorphism
(#3563)
Documentation
#12804:
Commit b9a5045
pushed
by
lgoettgens
QuadFormAndIsom
: small optimizations after users' feedbacks
Documentation
#12803:
Pull request #3575
opened
by
StevellM
Preferences
(#3570)
Documentation
#12801:
Commit 095813b
pushed
by
thofma
isomorphism(FPGroup, abelian_group(...))
(#3572)
Documentation
#12800:
Commit 05ec2fa
pushed
by
thofma
isomorphism(FPGroup, abelian_group(...))
Documentation
#12797:
Pull request #3572
opened
by
ThomasBreuer
Preferences
Documentation
#12795:
Pull request #3570
opened
by
lgoettgens