Logika: Programming Logics (2016)

28 pointsby gone35over 1 year ago

1 comment

dangover 1 year ago

Related ongoing thread:<p><i>Sireum Logika</i> - <a href="https://news.ycombinator.com/item?id=38756780">https://news.ycombinator.com/item?id=38756780</a> - Dec 2023 (2 comments)