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

eltonvs / uno-b Public

A formally specified UNO game using B-Method

Notifications

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