Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 11, 2020

• Create CONTRIBUTORS.md

  gstew5

  committedFeb 11, 2020
  8791c77

Commits on Feb 10, 2020

• Merge pull request #4 from erikmd/unneeded-instances

  gstew5

  committedFeb 10, 2020
  8a057cb

• Merge pull request #3 from erikmd/coq-8.11

  gstew5

  committedFeb 10, 2020
  3c5e4c0

• Update the coq-mathcomp-algebra constraint in README.md

  erikmd

  committedFeb 10, 2020
  d73275b

• Tweak details in .travis-ci.yml

  erikmd

  committedFeb 10, 2020
  44af8e8

• Take into account Travis-CI config validation feedback

  erikmd

  committedFeb 10, 2020
  b130c4e

• Remove unneeded TC instances.

  erikmd

  committedFeb 10, 2020
  53fc71d

• Extend the CI

  erikmd

  committedFeb 10, 2020
  6c2faf1

• Make the library compile with Coq 8.11

  erikmd

  committedFeb 10, 2020
  950fa8d

Commits on Jun 7, 2019

• Merge pull request #2 from erikmd/PNE_MNE

  gstew5

  committedJun 7, 2019
  3d3bd31

• chore: minor refactoring

  erikmd

  committedJun 7, 2019
  4ff0c5e

• feature: Prove PNE_MNE

  

  pPomCo

  authored and

  erikmd

  committedJun 7, 2019
  e4c7a69

Commits on Jun 5, 2019

• Merge pull request #1 from erikmd/setup-ci

  gstew5

  committedJun 5, 2019
  0f03d58

Commits on Jun 4, 2019

• docs(README.md): Update dependencies versions & Add Travis CI badge

  erikmd

  committedJun 4, 2019
  732f4c5

• Fix compilation with Coq 8.10+beta1 as well

  erikmd

  committedJun 4, 2019
  4454dcb

• Fix compilation with Coq 8.9.1 and MathComp 1.9.0

  erikmd

  committedJun 4, 2019
  5b49aeb

• Add Travis CI setup

  erikmd

  committedJun 4, 2019
  23a82f3

• Add coq files in _CoqProject & Replace Makefile with a generic one

  erikmd

  committedJun 4, 2019
  2ea3da4

• _CoqProject: Rename the library to Games

  erikmd

  committedJun 4, 2019
  a6b10aa

Commits on Dec 19, 2017

• Change best_response to better_response

  gstew5

  committedDec 19, 2017
  24589c6

Commits on Dec 5, 2017

• Finish proof that new CE -> CCE

  gstew5

  committedDec 5, 2017
  91c7947

Commits on Nov 9, 2017

• Start fixing the definition of expectedCondValue

  gstew5

  committedNov 9, 2017
  190c1c7

Commits on Sep 5, 2017

• Update Makefile to remove Ssreflect Coq 8.6 warnings

  gstew5

  committedSep 5, 2017
  cb7c09e

• Update README.md

  

  Gordon Stewart

  committedSep 5, 2017
  4293f2c

• Typographical fix

  gstew5

  committedSep 5, 2017
  152b4b7

Commits on Aug 30, 2017

• Add license

  gstew5

  committedAug 30, 2017
  6a1d9ae

• Update README.md

  

  Gordon Stewart

  committedAug 30, 2017
  45654bf

• Make README an .md file

  gstew5

  committedAug 30, 2017
  9ccdef4

• Update README

  

  Gordon Stewart

  committedAug 30, 2017
  07141b1

• Update to Coq 8.6, Ssreflect 1.6.1

  gstew5

  committedAug 30, 2017
  47c7317

Commits on Aug 14, 2017

• Remove an admit

  gstew5

  committedAug 14, 2017
  05ed9d5

• Update defns. POA, POS to use

  gstew5

  committedAug 14, 2017
  f902ab7

• Remove an hyp from POS_le_POA

  gstew5

  committedAug 14, 2017
  84082b4

Commits on Aug 8, 2017

• Fix a POS issue

  gstew5

  committedAug 8, 2017
  ea62018

Commits on Feb 6, 2017

• Cleanup congestion smoothness proof.

  bagnalla

  committedFeb 6, 2017
  ab89f9a

Pagination

PreviousNext