CARREGANDO O RADAR…
Almost-everywhere computation of weak generics relative to r.e. sets | Radar arXiv · portela.dev