Content
@
https://ethereum.org
0 reply
0 recast
0 reaction
EF Ecosystem Support Program
@ef-esp
🎊 Grant Announcement: Lean Backend for Hax by Cryspen! Developing a Lean backend for Hax, a tool for high assurance translations of a large subset of Rust into proof of language (currently Rocq and F*) that can then be used to prove its correctness. https://bsky.app/profile/cryspen.com/post/3lrroekvxw52s
0 reply
0 recast
1 reaction
