3 ms·
Digging deeper into Alloy through the Alloy book, working through Book of Proof, skimming through the introductory material to separation logic.
by agentultra 5y ago
Digging deeper into Alloy through the Alloy book, working through Book of Proof, skimming through the introductory material to separation logic.