QやっとCSP-Mまで読みすすめた。明日は本がやってくるのでもう一日で読みきりたいです。というか読み飛ばすしかない / "ProB Handbook" https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#deferred-sets
hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.
All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.