Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 6, 2019

• compile with coq 8.10

  affeldt-aist

  committed
  6b54104

Commits on Sep 17, 2019

• add corollaries using LOUDS rather than LOUDS_lt

  garrigue

  committed
  2611bba

Commits on Sep 9, 2019

• avoid moving

  garrigue

  committed
  24001dd

• add another proof

  tzskp1

  committed
  f5f9722

• shorten

  garrigue

  committed
  4b8c4a9

• add selecti and selectiE

  garrigue

  committed
  172bc60

Commits on Jun 27, 2019

• file renaming

  affeldt-aist

  committed
  d8faa5a

Commits on Mar 12, 2019

• fix comments in the first files

  affeldt-aist

  committed
  ab796dc

Commits on Oct 31, 2018

• remove duplicate

  garrigue

  committed
  0f257aa

Commits on Aug 6, 2018

• first commit

  affeldt-aist

  committed
  e40948a

Loading