hckrnws

Translation of Rust's core and alloc crates to Coq for formal verification

by p4bl0

thaliaarchi
11d
clarus
11d
thaliaarchi
11d
deredede
11d
deredede
11d
clarus
11d
deredede
11d
Gajurgensen
11d
clarus
11d
noneeeed
11d
im3w1l
11d
epolanski
11d
hedora
11d
thaliaarchi
11d
pron
11d
pcwalton
11d
pron
11d
pcwalton
11d
saagarjha
10d
weinzierl
11d
muldvarp
11d
epolanski
11d
jlokier
11d
bennofs
11d
im3w1l
11d
bennofs
10d
user2342
11d
cccbbbaaa
11d
user2342
11d
cccbbbaaa
11d
clarus
11d
weinzierl
11d
clarus
11d
p4bl0
11d
konstantinua00
11d
fsloth
11d
Galanwe
11d
dist1ll
11d
hu3
11d
couchand
11d
hu3
11d
couchand
11d
hu3
11d
tialaramex
11d
hu3
11d
Galanwe
11d
oconnor663
11d
nindalf
11d
couchand
11d
bigstrat2003
11d
Galanwe
11d
steveklabnik
11d
Galanwe
11d
steveklabnik
11d
Galanwe
11d
steveklabnik
11d
saagarjha
10d
dist1ll
11d
pcwalton
11d
raphlinus
11d
tialaramex
11d
clarus
11d
hu3
11d
steveklabnik
11d
xavxav
11d
clarus
11d
clarus
10d
xavxav
9d
vlovich123
11d
Jtsummers
11d
vlovich123
11d
Jtsummers
11d
clarus
11d
muldvarp
10d
Havoc
11d
CrimsonCape
10d
zem
11d
clarus
11d
the8472
11d
clarus
11d

Comment was deleted :(

hgyjdetjj
11d
baq
11d
rob74
11d
thih9
11d
baq
11d
yau8edq12i
11d

Comment was deleted :(

deredede
11d
hurutparittya
11d
cccbbbaaa
11d
littlestymaar
11d
baq
11d
deredede
11d
saagarjha
10d
littlestymaar
11d
rugina
11d
deredede
11d
croemer
11d
deredede
11d
hiddencost
11d
Certhas
11d
Gare
11d
peoplefromibiza
11d
croemer
11d
peoplefromibiza
11d
didntcheck
11d
yau8edq12i
11d
Certhas
11d
boxed
11d
yau8edq12i
11d
boxed
9d
humzashahid98
11d
cjfd
11d
zorked
11d
rob74
11d
gwervc
11d
deredede
11d
speedbird
11d
psychoslave
11d
Narishma
11d

Crafted by Rajat

Source Code