hckrnws

New Foundations is consistent – a difficult mathematical proof proved using Lean

by namanyayg

randallholmes
1m
btilly
1m
amw-zero
1m
naasking
1m
Q-Q
19d
The_Colonel
1m
naasking
1m
The_Colonel
1m
naasking
1m
cwillu
1m
HappMacDonald
1m
naasking
1m
hyperthesis
1m
justinclift
1m
chongli
1m
justinclift
1m
naasking
1m
klyrs
1m
naasking
1m
klyrs
30d
justinclift
1m
fsckboy
1m
rsaarelm
1m
Ericson2314
1m
nathan_compton
1m
wolfram74
1m
randallholmes
1m
randallholmes
1m
pvg
1m
randallholmes
1m
pvg
1m

Comment was deleted :(

Smaug123
1m
Strilanc
1m
sterlind
1m
Smaug123
1m
jpt4
1m
randallholmes
1m
sn41
1m
randallholmes
1m
mckirk
1m
spindle
1m
amw-zero
1m
randallholmes
1m
cwzwarich
1m
hiker
1m
Davidzheng
1m
OscarCunningham
1m
isaacfrond
1m
nicklecompte
1m
ducttapecrown
1m
alreadydone
1m
Davidzheng
1m
ducttapecrown
1m
Ericson2314
1m
alreadydone
1m
randallholmes
1m
nicklecompte
1m
nextaccountic
1m
barfbagginus
1m
Chinjut
1m
barfbagginus
1m
Davidzheng
1m
barfbagginus
1m
dimask
1m
barfbagginus
1m
toneman
1m
einpoklum
1m
Mathnerd314
1m
dwheeler
1m
dkbrk
1m
randallholmes
1m
LudwigNagasena
1m
seanhunter
1m
digama0
1m
randallholmes
1m
randallholmes
1m
einpoklum
1m
randallholmes
1m
randallholmes
1m
sagebird
1m
randallholmes
30d
klyrs
1m
randallholmes
19d
Mathnerd314
1m
randallholmes
1m
Mathnerd314
30d
randallholmes
26d
randallholmes
1m
randallholmes
1m
randallholmes
30d
Smaug123
1m
psychoslave
1m
epgui
1m
psychoslave
1m
juped
1m
epgui
1m
juped
1m
thefringthing
1m
jraph
1m
xvilka
1m
bmitc
1m
dwheeler
1m
agalunar
1m
dwheeler
1m

Comment was deleted :(

enricozb
1m
bmitc
1m
cvoss
1m
vilhelm_s
1m
Certhas
1m
bmitc
1m
naasking
1m
Certhas
1m
epgui
1m
fwip
1m
appplication
1m
konstantinua00
1m
enricozb
1m
appplication
1m
enricozb
1m
golol
1m
ChadNauseam
1m
golol
1m
rowanG077
1m
munchler
1m
Ericson2314
1m
YoshiRulz
1m
barfbagginus
1m
randallholmes
1m
Agingcoder
1m
trenchgun
1m
practal
1m
_jcrossley
1m
isaacfrond
1m
gerdesj
1m
_jcrossley
1m
gerdesj
1m
_jcrossley
1m
shepherdjerred
1m
Ericson2314
1m
xylol
1m
hyperpape
1m
pulisse
1m
skhunted
1m
libeclipse
1m
skhunted
1m
roywiggins
1m
skhunted
1m
naasking
1m
skhunted
1m
francasso
1m
peteradio
1m

Comment was deleted :(

user070223
1m
randallholmes
1m
stogot
1m
lmm
1m
randallholmes
1m
lmm
1m
randallholmes
1m
lmm
1m
randallholmes
1m
randallholmes
1m
seanhunter
1m

Crafted by Rajat

Source Code