Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 21, 2022

• Merge pull request HoTT#1620 from Alizter/fix-warnings

  Show description for db0971e
  Alizter

  authored
  db0971e

  Copy full SHA for db0971e

• fix warnings

  Alizter

  committed
  d6d4179

  Copy full SHA for d6d4179

• Merge pull request HoTT#1599 from Alizter/update-to-8.15

  Show description for c3d09cf
  Alizter

  authored
  c3d09cf

  Copy full SHA for c3d09cf

• Merge pull request HoTT#1608 from Alizter/relcoeq

  Show description for 4ca6cc0
  Alizter

  authored
  4ca6cc0

  Copy full SHA for 4ca6cc0

Commits on Jan 19, 2022

• use graph quotient for quotient

  Alizter

  committed
  42b9d4f

  Copy full SHA for 42b9d4f

• quotient of graph

  Alizter

  committed
  6d05138

  Copy full SHA for 6d05138

• update to coq 8.15

  Alizter

  committed
  f961107

  Copy full SHA for f961107

Commits on Jan 16, 2022

• Merge pull request HoTT#1618 from Alizter/presentation-notation

  Show description for f4a6f59
  mikeshulman

  authored
  f4a6f59

  Copy full SHA for f4a6f59

Commits on Jan 15, 2022

• added notation for upto 3 generator presentations

  Alizter

  committed
  52ea49d

  Copy full SHA for 52ea49d

• added power operation for groups

  Alizter

  committed
  0f8f3c8

  Copy full SHA for 0f8f3c8

• added inclusion map for free group

  Alizter

  committed
  722bc8d

  Copy full SHA for 722bc8d

Commits on Jan 12, 2022

• Merge pull request HoTT#1616 from Alizter/remove-dependabot

  Show description for 715abc2
  Alizter

  authored
  715abc2

  Copy full SHA for 715abc2

Commits on Jan 10, 2022

• removed dependabot

  Alizter

  committed
  6083443

  Copy full SHA for 6083443

Commits on Jan 3, 2022

• Merge pull request HoTT#1610 from Alizter/encode-decode

  Show description for d3bb501
  mikeshulman

  authored
  d3bb501

  Copy full SHA for d3bb501

Commits on Jan 2, 2022

• encode-decode lemmas

  Alizter

  committed
  0fb144e

  Copy full SHA for 0fb144e

Commits on Dec 20, 2021

• Merge pull request HoTT#1604 from HoTT/dependabot/github_actions/JamesIves/github-pages-deploy-action-4.1.8

  Show description for 35c86fe
  Alizter

  authored
  35c86fe

  Copy full SHA for 35c86fe

• Merge pull request HoTT#1601 from HoTT/8cd8dependabot/submodules/etc/coq-scripts-3be05c7

  Show description for 596f9f8
  Alizter

  authored
  596f9f8

  Copy full SHA for 596f9f8

• Bump JamesIves/github-pages-deploy-action from 4.1.7 to 4.1.8

  Show description for ca1bf69
  dependabot[bot]

  authored
  ca1bf69

  Copy full SHA for ca1bf69

Commits on Dec 19, 2021

• Merge pull request HoTT#1600 from HoTT/b4c1dependabot/github_actions/JamesIves/github-pages-deploy-action-4.1.7

  Show description for dc5e635
  Alizter

  authored
  dc5e635

  Copy full SHA for dc5e635

Commits on Dec 17, 2021

• Bump etc/coq-scripts from 1ad4075 to 3be05c7

  Show description for b8d9264
  dependabot[bot]

  authored
  b8d9264

  Copy full SHA for b8d9264

• Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.1.7

  Show description for 58912c8
  dependabot[bot]

  authored
  58912c8

  Copy full SHA for 58912c8

• Merge pull request HoTT#1598 from HoTT/dependabot

  Show description for a9bc422
  Alizter

  authored
  a9bc422

  Copy full SHA for a9bc422

Commits on Dec 16, 2021

• Merge pull request HoTT#1590 from Alizter/remove-coq-submodule

  Show description for d77b946
  Alizter

  authored
  d77b946

  Copy full SHA for d77b946

Commits on Dec 15, 2021

• Create dependabot.yml

  JasonGross

  authored
  b23f70d

  Copy full SHA for b23f70d

Commits on Nov 16, 2021

• Merge pull request HoTT#1596 from ppedrot/tactic-exact-use-uconstr

  Show description for d79c4bb
  SkySkimmer

  authored
  d79c4bb

  Copy full SHA for d79c4bb

• Adapt w.r.t. coq/coq#15171.

  ppedrot

  committed
  d7ae0fb

  Copy full SHA for d7ae0fb

Commits on Nov 15, 2021

• Merge pull request HoTT#1595 from ppedrot/fix-15197

  Show description for 1990162
  Alizter

  authored
  1990162

  Copy full SHA for 1990162

• Alternative version of the previous patch.

  Show description for 0e45e0d
  ppedrot

  committed
  0e45e0d

  Copy full SHA for 0e45e0d

• Adapt w.r.t. coq/coq#15198.

  ppedrot

  committed
  20f6ccc

  Copy full SHA for 20f6ccc

Commits on Nov 3, 2021

• Merge pull request HoTT#1593 from Alizter/rename-type-to-universe-in-wildcat

  Show description for 2491284
  Alizter

  authored
  2491284

  Copy full SHA for 2491284

Commits on Nov 2, 2021

• Renamed WildCat.Type to WildCat.Universe

  Alizter

  committed
  0d7819f

  Copy full SHA for 0d7819f

Commits on Nov 1, 2021

• Merge pull request HoTT#1594 from Alizter/pin-docutils

  Show description for 2f2bb73
  Alizter

  authored
  2f2bb73

  Copy full SHA for 2f2bb73

Commits on Oct 31, 2021

• pin docutils to 0.17.1

  Alizter

  committed
  406f182

  Copy full SHA for 406f182

Commits on Oct 25, 2021

• Merge pull request HoTT#1464 from JasonGross/less-warnings

  Show description for 2747a5a
  Alizter

  authored
  2747a5a

  Copy full SHA for 2747a5a

• Merge pull request HoTT#1589 from Alizter/wc-adjoint-functors

  Show description for 5a25a2c
  Alizter

  authored
  5a25a2c

  Copy full SHA for 5a25a2c

Pagination

Previous

Next