Skip to content
Back to pull request #39415

Implementation of the general Burau representation for Artin groups #6091

Sign in to view logs

Implementation of the general Burau representation for Artin groups

Implementation of the general Burau representation for Artin groups #6091

Triggered via pull request February 3, 2025 04:20
@tscrimtscrim
synchronize #39415
tscrim:groups/buaru_repr
Status Success
Total duration 7m 19s
Artifacts –

pyright.yml

on: pull_request
pyright
7m 10s
pyright
Fit to window
Zoom out
Zoom in