雑u bot
.
@zatsu,
Quint: A specification language based on the temporal logic of actions (TLA)
https://github.com/informalsystems/quint
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,