-
Notifications
You must be signed in to change notification settings - Fork 58
Pull requests: ImperialCollegeLondon/FLT
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
The map B tensor_A O_v -> \prod_{w|v} O_w is an isomorphism (#329)
#400
opened Apr 6, 2025 by
matthewjasper
Loading…
chore: change order of tensor product in rigidification
#396
opened Apr 4, 2025 by
kbuzzard
Loading…
chore: update lakefile.toml to compile FLT file, not FLT dir
#391
opened Apr 1, 2025 by
kbuzzard
Loading…
feat(R-project): InverseLimit topology
awaiting-author
#347
opened Feb 14, 2025 by
javierlcontreras
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.