Commits

Branch selector

 master

User selector

Lysxia

Datepicker

All time

Commit History

Commits on Mar 23, 2020

• CHANGELOG: Update for 3.1.0

  Lysxia

  committed
  04ef50e

  Copy full SHA for 04ef50e

Commits on Feb 3, 2020

• Separate tau_eutt from tau_euttge

  Lysxia

  committed
  f140f0b

  Copy full SHA for f140f0b

Commits on Jan 31, 2020

• Merge pull request DeepSpec#157 from liyishuai/master

  Show description for 2daba60
  Lysxia

  authored
  2daba60

  Copy full SHA for 2daba60

Commits on Jan 29, 2020

• Merge pull request DeepSpec#159 from artagnon/ocaml-4.09

  Show description for 5158234
  Lysxia

  authored
  5158234

  Copy full SHA for 5158234

Commits on Jan 20, 2020

• Merge pull request DeepSpec#158 from DeepSpec/release-3.0.0

  Show description for 1f07a19
  Lysxia

  authored
  1f07a19

  Copy full SHA for 1f07a19

• Create CHANGELOG

  Lysxia

  committed
  0b2698f

  Copy full SHA for 0b2698f

Commits on Jan 17, 2020

• Set -< notation at level 92

  Show description for 469f6e0
  Lysxia

  committed
  469f6e0

  Copy full SHA for 469f6e0

Commits on Jan 15, 2020

• Uncomment proof

  Show description for 9d75393
  Lysxia

  committed
  9d75393

  Copy full SHA for 9d75393

• Remove KTree.iter and KTree.loop notations

  Show description for 58896ae
  Lysxia

  committed
  58896ae

  Copy full SHA for 58896ae

• Merge pull request DeepSpec#153 from DeepSpec/coq-8.10

  Show description for 66f56a8
  Lysxia

  authored
  66f56a8

  Copy full SHA for 66f56a8

• Add comments about Proper_cat_Kleisli

  Lysxia

  committed
  259e162

  Copy full SHA for 259e162

• README: Add Coq 8.10 to list of supported versions

  Lysxia

  committed
  9711019

  Copy full SHA for 9711019

• ci: add Coq 8.10

  Lysxia

  committed
  6871109

  Copy full SHA for 6871109

• Refactor AsmCombinator local lemmas

  Lysxia

  committed
  75a5a71

  Copy full SHA for 75a5a71

• Remove Proper_cat_Kleisli instance (subsumed by Category)

  Lysxia

  committed
  e43cd6d

  Copy full SHA for e43cd6d

• Add pure_inl and pure_inr

  Lysxia

  committed
  bf6bd1e

  Copy full SHA for bf6bd1e

• Remove Core/KTreeBasicFacts

  Lysxia

  committed
  a5148f7

  Copy full SHA for a5148f7

• opam: fix coq-ext-lib and coq versions

  Lysxia

  committed
  5897bb8

  Copy full SHA for 5897bb8

• examples: Adapt to Coq 8.10

  Lysxia

  committed
  2365f88

  Copy full SHA for 2365f88

• Adapt to Coq 8.10

  Lysxia

  committed
  b75fc77

  Copy full SHA for b75fc77

• Adapt to coq-ext-lib changes in notations (odd level <-> right associativity)

  Lysxia

  committed
  d9ac3ff

  Copy full SHA for d9ac3ff

• Fix tutorial with updated Proper lemma

  Lysxia

  committed
  ad3e458

  Copy full SHA for ad3e458

Commits on Nov 14, 2019

• Merge pull request DeepSpec#148 from DeepSpec/clean-up-more

  Show description for 4d12222
  Lysxia

  authored
  4d12222

  Copy full SHA for 4d12222

• Rename Events.StateKleisli to Basics.MonadState

  Lysxia

  committed
  e76d5a5

  Copy full SHA for e76d5a5

Commits on Nov 13, 2019

• Rename monad laws

  Lysxia

  committed
  13587f9

  Copy full SHA for 13587f9

• Merge pull request DeepSpec#147 from DeepSpec/paper-clean-up

  Show description for e1f4eca
  Lysxia

  authored
  e1f4eca

  Copy full SHA for e1f4eca

Commits on Nov 7, 2019

• Rename handle_state -> h_state

  Show description for 7010828
  Lysxia

  committed
  7010828

  Copy full SHA for 7010828

• Rename CoprodCase -> Case, etc.

  Lysxia

  committed
  3458c53

  Copy full SHA for 3458c53

Commits on Nov 4, 2019

• opam: fix required coq-ext-lib version to 0.10.2

  Lysxia

  committed
  d408b91

  Copy full SHA for d408b91

• Add note about formalizing monads

  Lysxia

  committed
  167db22

  Copy full SHA for 167db22

• README: Update organization

  Lysxia

  committed
  c121e8f

  Copy full SHA for c121e8f

Commits on Oct 18, 2019

• Add tutorial/PrintAssumptions.v

  Lysxia

  committed
  6ab743f

  Copy full SHA for 6ab743f

• Reprove inj_pair2 to not depend on proof_irrelevance

  Lysxia

  committed
  59c9bae

  Copy full SHA for 59c9bae

Commits on Oct 11, 2019

• Merge pull request DeepSpec#143 from DeepSpec/subcat

  Show description for 1917d07
  Lysxia

  authored
  1917d07

  Copy full SHA for 1917d07

• Add CategorySub and CategoryFunctor and remove SubKTree and simplify proofs

  Lysxia

  committed
  baf42f1

  Copy full SHA for baf42f1

Pagination

Previous

Next