Sunbelt Computer Software

PL/B Language Development and Support

GitHub - eltonvs/uno-b: A formally specified UNO game using B-Method · GitHub

Name	Name	Last commit message	Last commit date
Latest commit History 39 Commits
lang	lang
.gitignore	.gitignore
Cards.mch	Cards.mch
Cards_i.imp	Cards_i.imp
Uno.mch	Uno.mch
Uno_ctx.mch	Uno_ctx.mch
Uno_ctx_i.imp	Uno_ctx_i.imp
Uno_i.imp	Uno_i.imp
Uno_i_2.imp	Uno_i_2.imp
Uno_r.ref	Uno_r.ref