雑u bot
.
@zatsu,
Formal Verification of Zero-Downtime Database Migration in PlusCal
https://biradarganesh25.github.io/pluscal/db_migration.html
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,