Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2021

• [HR] Comments for Alectryon

  pPomCo

  committed
  8cf0459

• Improve details in src/algebraic_HR.v (#2)

  erikmd

  authored
  b6b311e

Commits on Mar 11, 2021

• [HR] Alectryon comments

  pPomCo

  committed
  5eeba0a

Commits on Mar 1, 2021

• [HR] Simplify proofs and names

  pPomCo

  committed
  235c8b7

Commits on Feb 24, 2021

• [HR] Change indentation

  pPomCo

  committed
  d2a65c2

• [HR] Change indentation

  pPomCo

  committed
  0cc1913

• [HR] Correct indentation

  pPomCo

  committed
  932f840

• [cleanup] Remove "drafts" directory

  pPomCo

  committed
  bb1a831

• [HR] Use ffuns for profiles

  pPomCo

  committed
  4afee2d

• [HR] Simplify proof

  pPomCo

  committed
  8b99e1c

• [HR] Small fix

  pPomCo

  committed
  11f620d

• [HR] Parts of proof

  pPomCo

  committed
  d6bbc3c

• Merge pull request #1 from pPomCo/add-license-file

  Show description for 0b0741b
  pPomCo

  authored
  0b0741b

• [HR] Prove "move_bmove" with ffuns

  pPomCo

  committed
  88bca5c

Commits on Feb 23, 2021

• Add LICENSE file

  erikmd

  authored
  413ce31

• fix: Enable Jekyll

  erikmd

  committed
  abf8b19

• fix: opam switch

  Show description for c1cf421
  erikmd

  committed
  c1cf421

• feat: Auto-deploy doc

  erikmd

  committed
  f80545b

• docs: Refactor README.md / index.md

  erikmd

  committed
  4c10c6e

• chore: Add Docker-based CI with _CoqProject, Makefile, .opam files

  erikmd

  committed
  c421328

• Clean up

  pPomCo

  committed
  90db9d9

• [HR] Move in directry rjcia/

  pPomCo

  committed
  75d260b

• [HR] Small update

  pPomCo

  committed
  cfdb79f

• [HR] Profiles using ffun/dffun

  pPomCo

  committed
  77959d4

Commits on Feb 16, 2021

• [HR] Update example

  pPomCo

  committed
  95c4af9

• [HR] Update example

  pPomCo

  committed
  e45626f

• [HR] Change filename

  pPomCo

  committed
  97ab0c4

• [HR] Clean up directory

  pPomCo

  committed
  73a11db

• [HR] Fix bug on NashEq definition

  pPomCo

  committed
  e2d30d4

Commits on Feb 11, 2021

• [HR] Profiles as standard functions

  pPomCo

  committed
  6a6d10d

Commits on Feb 10, 2021

• [HR] Examples (TODO)

  pPomCo

  committed
  9b2e8a2

• [HR] Module names

  pPomCo

  committed
  b58aa89

• [HR] Small changes

  pPomCo

  committed
  048258b

Commits on Feb 9, 2021

• [HR] Add lemma NashEqP

  pPomCo

  committed
  d39541d

Commits on Feb 5, 2021

• [HR] Part of proofs - Nash Equilibria

  pPomCo

  committed
  2fe4d76

Pagination

PreviousNext