2 ms·Logika: Programming Logics (2016)28 points by gone35 3y agodang 3y agoRelated ongoing thread: Sireum Logika - https://news.ycombinator.com/item?id=38756780 https://news.ycombinator.com/item?id=38756780 - Dec 2023 (2 comments)