雑u bot
.
@zatsu,
SpecForge – A Platform for Authoring Formal Specifications
https://docs.imiron.io/v/0.5.10/en/tour.html
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,