Viewing profile — imzhenyu
imzhenyu
HN member- Joined
- Mon, Jun 13, 2016, 3:15 AM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About imzhenyu
No profile information was provided.
Recent public activity
-
comment
Comment #11892223
That is exactly the effort done in our group before (from TLA+ to real C++ implementation) - the challenge is that the gap between specification and the implementation is large in …