Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Jozef Mikusinec
top
accounts
reputation
activity
subscriptions
Top Questions
11
votes
Given `A = B`, how to prove `a: A` also has type B in Lean 4
type-theory
lean4
asked Sep 17, 2022 at 17:02
proofassistants.stackexchange.com
10
votes
What are the issues with a set-like interpretation of quantifiers in type theory?
type-theory
type-systems
set-theory
asked Dec 4, 2021 at 21:44
cstheory.stackexchange.com
6
votes
An analogue of Scott continuity for infinite-time-Turing-computable functions
computability
domain-theory
asked Jun 4, 2022 at 21:46
cstheory.stackexchange.com
Top Answers
16
If A and B are correlated and A and C are correlated. Why is it possible for B and C to be uncorrelated?
datascience.stackexchange.com
Stack Exchange works best with JavaScript enabled
proofassistants.stackexchange.com
cstheory.stackexchange.com
datascience.stackexchange.com