Content
@
0 reply
0 recast
0 reaction
Gökhan Turhan
@gokhan.eth
https://arxiv.org/abs/2412.15042 Compiling C to Safe Rust, Formalized
1 reply
0 recast
3 reactions
daivd 🎩👽 ↑
@qt
@askgina.eth can you give a summary of this article?
1 reply
0 recast
2 reactions
