Skip to content
GitLab
Explore
Sign in
dt
cb
Repository
cb
ninfty.v
Find file
Blame
History
Permalink
some hacky proof omniscience of ℕ∞
· 4524bb02
dt
authored
Mar 24, 2017
4524bb02