Skip to main content
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen
  • Member for 14 years, 4 months
  • Last seen this week
Loading…
Loading…
Loading…
Loading…
Loading…
accepted
asked
Loading…
Loading…
accepted
asked
Loading…
accepted
comment
$\omega$-de-Bruijn sequences
Nice, can you post this as an answer so we can close this thread?
asked
Loading…
awarded
revised
Loading…
revised
In what respect are univalent foundations "better" than set theory?
made the annotations a bit nicer to follow
Loading…