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 level wrangling for ¡ operation
!223
· created
Jul 25, 2024
by
Bradley Saul
Merged
updated
Jul 25, 2024
Resolve "Add total order algebra structures/bundles/constucts"
!222
· created
Jul 25, 2024
by
Bradley Saul
Merged
1
updated
Jul 25, 2024
Draft: Resolve "Add continuity axiom to Expectation"
!221
· created
Jul 24, 2024
by
Bradley Saul
updated
Jul 24, 2024
Functional ops
!220
· created
Jul 24, 2024
by
Bradley Saul
Merged
updated
Jul 24, 2024
Draft: Indicator algebra
!219
· created
Jul 24, 2024
by
Bradley Saul
updated
Jul 27, 2024
use Pr notation
!218
· created
Jul 23, 2024
by
Bradley Saul
Merged
updated
Jul 23, 2024
clean up
!217
· created
Jul 23, 2024
by
Bradley Saul
Merged
updated
Jul 23, 2024
Draft: Law of total expectation
!216
· created
Jul 23, 2024
by
Bradley Saul
updated
Jul 24, 2024
Expecation changes
!215
· created
Jul 23, 2024
by
Bradley Saul
Merged
updated
Jul 23, 2024
generalize limit a bit
!214
· created
Jul 22, 2024
by
Bradley Saul
Merged
updated
Jul 22, 2024
Sequence/Limit/Stochastic process
!213
· created
Jul 22, 2024
by
Bradley Saul
Merged
updated
Jul 22, 2024
add vector space iso proof
!212
· created
Jul 22, 2024
by
Bradley Saul
Merged
updated
Jul 22, 2024
rename observable
!211
· created
Jul 22, 2024
by
Bradley Saul
Merged
updated
Jul 22, 2024
Draft: adding applicative functor
!210
· created
Jul 21, 2024
by
Bradley Saul
updated
Jul 24, 2024
Draft: Prelinear category
!209
· created
Jul 19, 2024
by
Bradley Saul
Closed
3
updated
Jul 21, 2024
add Functor
!208
· created
Jul 19, 2024
by
Bradley Saul
Merged
updated
Jul 19, 2024
move probability
!207
· created
Jul 19, 2024
by
Bradley Saul
Merged
updated
Jul 19, 2024
Markov Inequality
!206
· created
Jul 19, 2024
by
Bradley Saul
Merged
updated
Jul 19, 2024
add proof of that expectation preserves constant
!205
· created
Jul 16, 2024
by
Bradley Saul
Merged
updated
Jul 16, 2024
Finite Expectation - slighty generalized
!204
· created
Jul 16, 2024
by
Bradley Saul
Merged
updated
Jul 16, 2024
Prev
1
2
3
4
5
…
12
Next