Towards verified decompilation using Lean 4 - Lean Together 2021
2021-01-08 22:14:03 Author: www.reddit.com(查看原文) 阅读量:215 收藏
2021-01-08 22:14:03 Author: www.reddit.com(查看原文) 阅读量:215 收藏
•
Sort by
no comments yet
Be the first to share what you think!
More posts from the ReverseEngineering community
Continue browsing in r/ReverseEngineering
A moderated community dedicated to all things reverse engineering.
104k
Members
127
Online
Created Sep 11, 2008
Reddit Inc © 2021. All rights reserved
文章来源: https://www.reddit.com/r/ReverseEngineering/comments/kt1p78/towards_verified_decompilation_using_lean_4_lean/
如有侵权请联系:admin#unsafe.sh
如有侵权请联系:admin#unsafe.sh