Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
13
Merged
203
Closed
7
All
223
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
fix up some of the positive map operations
!183
· created
Jul 01, 2024
by
Bradley Saul
Merged
updated
Jul 01, 2024
Move derived maps to construct
!182
· created
Jul 01, 2024
by
Bradley Saul
Merged
updated
Jul 01, 2024
Draft: Finite Support
!181
· created
Jun 30, 2024
by
Bradley Saul
updated
Jul 01, 2024
Resolve "Reconsider definition of expectation"
!180
· created
Jun 29, 2024
by
Bradley Saul
Merged
updated
Jun 30, 2024
Implementation of Expectation for finite types on rationals
!179
· created
Jun 27, 2024
by
Bradley Saul
Merged
1
updated
Jun 28, 2024
Minor
!178
· created
Jun 27, 2024
by
Bradley Saul
Merged
updated
Jun 27, 2024
Resolve "Follow-up from "Positivelinearindex""
!177
· created
Jun 27, 2024
by
Bradley Saul
Merged
updated
Jun 27, 2024
Resolve "Follow-up from "Positivelinearindex""
!176
· created
Jun 27, 2024
by
Bradley Saul
Merged
updated
Jun 27, 2024
move files from lib back to src
!175
· created
Jun 27, 2024
by
Bradley Saul
Merged
updated
Jun 27, 2024
Positivelinearindex
!174
· created
Jun 26, 2024
by
Bradley Saul
Merged
1
updated
Jun 27, 2024
Rename/clean up algebra modules
!173
· created
Jun 26, 2024
by
Bradley Saul
Merged
updated
Jun 26, 2024
Draft: Resolve "Follow-up from "Resolve "Matrix --> LinearMap homomorphisms"""
!172
· created
Jun 26, 2024
by
Bradley Saul
Closed
updated
Jun 28, 2024
Resolve "Complete proof from "Fold over indicator function""
!171
· created
Jun 24, 2024
by
Bradley Saul
Merged
updated
Jun 24, 2024
Fold over indicator function
!170
· created
Jun 21, 2024
by
Bradley Saul
Merged
1
updated
Jun 24, 2024
Pointwise maps
!169
· created
Jun 21, 2024
by
Bradley Saul
Merged
4
updated
Jun 26, 2024
simplify sum cong
!168
· created
Jun 20, 2024
by
Bradley Saul
Merged
updated
Jun 20, 2024
refactor fold
!167
· created
Jun 20, 2024
by
Bradley Saul
Merged
updated
Jun 20, 2024
Draft: Resolve "Vectorization of linear maps"
!166
· created
Jun 19, 2024
by
Bradley Saul
Closed
updated
Jun 28, 2024
Resolve "Matrix --> LinearMap homomorphisms"
!165
· created
Jun 19, 2024
by
Bradley Saul
Merged
1
updated
Jun 24, 2024
Bilinear closed
!164
· created
Jun 19, 2024
by
Bradley Saul
Merged
updated
Jun 19, 2024
Prev
1
2
3
4
5
6
7
…
12
Next