Skip to content

Releases: pPomCo/belgames

coq-belgames version 2.0.0

06 Nov 10:57
@pPomCo pPomCo
2.0.0
31df26f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
coq-belgames version 2.0.0 Latest
Latest
  • Generalize the library also to formalize uncertainty theories based on capacity (aka. non-monotonic measures)
  • Generalize games of complete information and Howson and Rosenthal like theorem to capacities
  • Require Coq-hierarchy-builder and coq-mathcomp-2.0
Assets 3

coq-belgames version 1.1.1

27 Feb 15:04
@erikmd erikmd
1.1.1
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
09361d1
Compare
Choose a tag to compare
coq-belgames version 1.1.1 
Version 1.1.1
Assets 3

coq-belgames version 1.1.0

24 Feb 13:57
@erikmd erikmd
1.1.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
85e06ca
Compare
Choose a tag to compare
coq-belgames version 1.1.0 
Version 1.1.0
Assets 3