Commits

Branch selector

 master

User selector

chdoc

Datepicker

All time

Commit History

Commits on Sep 16, 2020

• add missing contra lemmas (fixes #587)

  chdoc

  committed
  ddac4a5

  Copy full SHA for ddac4a5

Commits on Aug 13, 2020

• fix non-reversible-notation warnings

  chdoc

  committed
  2d4885d

  Copy full SHA for 2d4885d

Commits on Aug 11, 2020

• fix notation-incompatible-format warnings

  chdoc

  committed
  1bbfe34

  Copy full SHA for 1bbfe34

Commits on Jun 26, 2020

• fix "Nothing to inject" warnings

  chdoc

  committed
  8a4ae57

  Copy full SHA for 8a4ae57

• lemmas for proper and setC

  chdoc

  committed
  a79e8b9

  Copy full SHA for a79e8b9

Commits on Jun 18, 2020

• conform to 80 chars limit

  chdoc

  committed
  7fd6f9b

  Copy full SHA for 7fd6f9b

• Apply suggestions from code review

  Show description for 555655f
  

  chdoc

  and

  CohenCyril

  committed
  555655f

  Copy full SHA for 555655f

• drop_uniq / CHANGELOG

  chdoc

  committed
  96efc4f

  Copy full SHA for 96efc4f

• add fcard_gt?P lemmas found in fourcolor

  chdoc

  committed
  5b4b9ad

  Copy full SHA for 5b4b9ad

• cards_eqP and cards2P

  chdoc

  committed
  1ac0240

  Copy full SHA for 1ac0240

• cardinality lemmas for #|A| <= 1 and n <= #|A|

  chdoc

  committed
  18edd0a

  Copy full SHA for 18edd0a

Commits on Jun 17, 2020

• contra lemmas involving propositions

  chdoc

  committed
  ff0120b

  Copy full SHA for ff0120b

Commits on May 4, 2020

• document 'in_' and 'mem_' prefixes for infix membership

  chdoc

  committed
  df06620

  Copy full SHA for df06620

Commits on Nov 4, 2019

• add existsPn/forallPn lemmas

  

  chdoc

  authored and

  Christian Doczkal

  committed
  185ea58

  Copy full SHA for 185ea58