Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 15, 2025

• Merge pull request #252 from arnoudvanderleer/fix-ci

  Show description for 014757b
  benediktahrens

  authored
  014757b

  Copy full SHA for 014757b

• Fix the chown issue

  arnoudvanderleer

  committed
  a5f0094

  Copy full SHA for a5f0094

Commits on Feb 14, 2025

• Merge pull request #251 from arnoudvanderleer/limit-diagrams

  Show description for 682f2f8
  benediktahrens

  authored
  682f2f8

  Copy full SHA for 682f2f8

Commits on Jan 29, 2025

• Move diagrams to a separate file

  arnoudvanderleer

  committed
  cd5fe31

  Copy full SHA for cd5fe31

Commits on Jan 21, 2025

• Merge pull request #250 from peterlefanulumsdaine/adapt-notation-level

  Show description for 39b2adc
  peterlefanulumsdaine

  authored
  39b2adc

  Copy full SHA for 39b2adc

Commits on Jan 20, 2025

• fix notation level clash with UniMath#1974

  peterlefanulumsdaine

  committed
  c9098d6

  Copy full SHA for c9098d6

Commits on Sep 22, 2024

• Merge pull request #248 from arnoudvanderleer/rezk-completion

  Show description for 41adfec
  benediktahrens

  authored
  41adfec

  Copy full SHA for 41adfec

Commits on Sep 19, 2024

• Adapt to che renamings of the UniMath rezk completion files

  arnoudvanderleer

  committed
  7f77246

  Copy full SHA for 7f77246

Commits on Aug 20, 2024

• Merge pull request #247 from benediktahrens/type-intype

  Show description for 1d2b8b0
  benediktahrens

  authored
  1d2b8b0

  Copy full SHA for 1d2b8b0

• add type-in-type to dune

  benediktahrens

  committed
  7cdfe0d

  Copy full SHA for 7cdfe0d

Commits on Aug 13, 2024

• Merge pull request #246 from benediktahrens/type-in-type

  Show description for a9d0892
  benediktahrens

  authored
  a9d0892

  Copy full SHA for a9d0892

• add type-in-type flag

  benediktahrens

  committed
  c3d8b57

  Copy full SHA for c3d8b57

Commits on Feb 8, 2024

• Merge pull request #244 from rmatthes/githubactionsv4

  Show description for 039a6bc
  rmatthes

  authored
  039a6bc

  Copy full SHA for 039a6bc

Commits on Feb 7, 2024

• removes Coq 8.15 from CI

  rmatthes

  committed
  9f20d94

  Copy full SHA for 9f20d94

• follows PR #1839 to UniMath

  rmatthes

  committed
  eabf950

  Copy full SHA for eabf950

• Merge pull request #243 from arnoudvanderleer/rename-category-packages

  Show description for d6f8dca
  rmatthes

  authored
  d6f8dca

  Copy full SHA for d6f8dca

• Update references to category packages

  arnoudvanderleer

  committed
  6b939d9

  Copy full SHA for 6b939d9

Commits on Jan 30, 2024

• Merge pull request #242 from rmatthes/followupstreamPR1829

  Show description for c506b8f
  benediktahrens

  authored
  c506b8f

  Copy full SHA for c506b8f

Commits on Jan 25, 2024

• restores compilation after UniMath PR1829

  rmatthes

  committed
  c301398

  Copy full SHA for c301398

Commits on Aug 29, 2023

• Merge pull request #241 from rmatthes/restorecompafterunimathPR1768

  Show description for 3dfd601
  rmatthes

  authored
  3dfd601

  Copy full SHA for 3dfd601

• upstream change to is_univalent_full_sub_category

  rmatthes

  committed
  30227b8

  Copy full SHA for 30227b8

Commits on Aug 16, 2023

• Merge pull request #240 from rmatthes/restorecompilationafterUniMathPR1756

  Show description for 7205f8b
  benediktahrens

  authored
  7205f8b

  Copy full SHA for 7205f8b

• restores compilation after upstream PR#1756

  Show description for 106792b
  rmatthes

  committed
  106792b

  Copy full SHA for 106792b

Commits on Jun 25, 2023

• Merge pull request #238 from Skantz/initlogic

  Show description for 2479a7f
  benediktahrens

  authored
  2479a7f

  Copy full SHA for 2479a7f

• Make project compile again after UniMath/#1699

  Skantz

  committed
  6b975be

  Copy full SHA for 6b975be

• 235: Remove dependency on Coq.Init.Logic

  Skantz

  committed
  8972292

  Copy full SHA for 8972292

Commits on May 21, 2023

• Merge pull request #237 from peterlefanulumsdaine/set-univ-checking

  Show description for b2aa8ef
  peterlefanulumsdaine

  authored
  b2aa8ef

  Copy full SHA for b2aa8ef

• replace -type-in-type with Unset Universe Checking

  peterlefanulumsdaine

  committed
  d06e6bd

  Copy full SHA for d06e6bd

Commits on Apr 3, 2023

• Workaround Coq bug.

  Show description for f18bbdf
  m-lindgren

  committed
  f18bbdf

  Copy full SHA for f18bbdf

Commits on Mar 7, 2023

• Merge pull request #234 from m-lindgren/tt-remove-coq-init

  Show description for e7fc5a0
  benediktahrens

  authored
  e7fc5a0

  Copy full SHA for e7fc5a0

Commits on Mar 5, 2023

• Update TypeTheory/TypeCat/General.v

  Show description for 54935d2
  

  m-lindgren

  and

  benediktahrens

  authored
  54935d2

  Copy full SHA for 54935d2

• Update Interpretation.v

  m-lindgren

  authored
  4bf9b0f

  Copy full SHA for 4bf9b0f

• Remove dependency on Coq.Init.Logic.

  Show description for 1f31e69
  m-lindgren

  committed
  1f31e69

  Copy full SHA for 1f31e69

• Make Initiality/Interpretation.v depend on Coq.Init.Logic.

  m-lindgren

  committed
  f975b6d

  Copy full SHA for f975b6d

• Make TypeCat/General.v depend on Coq.Init.Logic.

  m-lindgren

  committed
  659408f

  Copy full SHA for 659408f

Pagination

Previous

Next