Hacker News new | past | comments | ask | show | jobs | submit | from login

Semantics of C in K Framework (github.com/kframework) 48 points by pabs3 on Dec 12, 2020 | past | 10 comments K Semantics of the Ethereum Virtual Machine (EVM) (github.com/kframework) 2 points by ghosthamlet on Aug 4, 2017 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: