Data Science
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec's user avatar
Jozef Mikušinec
  • Member for 3 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
261
reputation
4k
reached
1
answer
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
16
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
16
If A and B are correlated and A and C are correlated. Why is it possible for B and C to be uncorrelated?
May 31, 2020
Top network posts
View all network posts
11
Given `A = B`, how to prove `a: A` also has type B in Lean 4
10
What are the issues with a set-like interpretation of quantifiers in type theory?
6
An analogue of Scott continuity for infinite-time-Turing-computable functions

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.