[–] jbrot 5y ago ↗ I encountered the project in this article about separation logic [1]. I figured the above project would be more relevant to the HN community, though.[1] https://dl.acm.org/doi/pdf/10.1145/3211968
1 comment
[ 2.9 ms ] story [ 15.5 ms ] thread[1] https://dl.acm.org/doi/pdf/10.1145/3211968