Commits

Branch selector

 ae76658

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 25, 2022

• Make redtt run again (#490)

  favonia

  authored
  ae76658

  Copy full SHA for ae76658

Commits on Nov 29, 2021

• Enable type inference for Menhir. (#489)

  Show description for 49783bd
  fpottier

  authored
  49783bd

  Copy full SHA for 49783bd

Commits on Jan 10, 2020

• updating versions (#487)

  Show description for 5068955
  ivoysey

  authored
  5068955

  Copy full SHA for 5068955

Commits on Nov 3, 2019

• Use Stdlib instead of Pervasives. (#484)

  favonia

  authored
  0904065

  Copy full SHA for 0904065

Commits on Aug 5, 2019

• Some code golfing ;) (#483)

  Show description for 5069c89
  jonsterling

  authored
  5069c89

  Copy full SHA for 5069c89

Commits on Jul 5, 2019

• Parametric smash (#482)

  Show description for 692892d
  ecavallo

  authored
  692892d

  Copy full SHA for 692892d

Commits on Jan 30, 2019

• loosen version bounds, upgrade packages (#429)

  Show description for 4318440
  jonsterling

  authored
  4318440

  Copy full SHA for 4318440

• pullbacks (#479)

  Show description for 67746a0
  

  clayrat

  authored and

  jonsterling

  committed
  67746a0

  Copy full SHA for 67746a0

• add some Isos and helper functions (#478)

  Show description for aa865f8
  

  clayrat

  authored and

  jonsterling

  committed
  aa865f8

  Copy full SHA for aa865f8

Commits on Dec 6, 2018

• define an anders suc (#474)

  ecavallo

  authored
  e37c68c

  Copy full SHA for e37c68c

• make connection/both better (#472)

  ecavallo

  authored
  63fb830

  Copy full SHA for 63fb830

• delete commented paths.s1 code (#475)

  ecavallo

  authored
  15e76bd

  Copy full SHA for 15e76bd

Commits on Dec 1, 2018

• drastically improve hopf performance (#473)

  ecavallo

  authored
  3a19eac

  Copy full SHA for 3a19eac

Commits on Nov 28, 2018

• Clarify relationship with RedPRL

  Show description for 7a146dc
  jonsterling

  authored
  7a146dc

  Copy full SHA for 7a146dc

Commits on Nov 27, 2018

• use cap tactic in paths.s2 (#470)

  Show description for 19a3f7c
  ecavallo

  authored
  19a3f7c

  Copy full SHA for 19a3f7c

Commits on Nov 24, 2018

• proofs about HIT-style integers (#469)

  Show description for 37f9a23
  ecavallo

  authored
  37f9a23

  Copy full SHA for 37f9a23

Commits on Nov 23, 2018

• Misc lemmas (#465)

  Show description for bb0071b
  

  clayrat

  authored and

  jonsterling

  committed
  bb0071b

  Copy full SHA for bb0071b

Commits on Nov 21, 2018

• Box and cap tactics (#467)

  Show description for c95d1a0
  favonia

  authored
  c95d1a0

  Copy full SHA for c95d1a0

Commits on Nov 20, 2018

• Backport stuff from the new-domain branch. (#468)

  favonia

  authored
  38d98bd

  Copy full SHA for 38d98bd

• define inverse(??) to associator? (#466)

  jonsterling

  authored
  93ab754

  Copy full SHA for 93ab754

Commits on Nov 16, 2018

• some facts about smash product (#464)

  Show description for 355cec3
  ecavallo

  authored
  355cec3

  Copy full SHA for 355cec3

Commits on Nov 15, 2018

• [vim] Usability improvements. (#462)

  Show description for cb3c245
  cangiuli

  authored
  cb3c245

  Copy full SHA for cb3c245

Commits on Nov 13, 2018

• Fix Unicode printing of unresolved variables. (#463)

  cangiuli

  authored
  1376fba

  Copy full SHA for 1376fba

Commits on Nov 7, 2018

• print mismatched names in Quote (#461)

  Show description for c7726ac
  

  clayrat

  authored and

  jonsterling

  committed
  c7726ac

  Copy full SHA for c7726ac

Commits on Nov 5, 2018

• ^cooler^ invariance example (#422)

  Show description for 54b0358
  cangiuli

  authored
  54b0358

  Copy full SHA for 54b0358

Commits on Nov 4, 2018

• sphere1-to-s1 equivalence (#460)

  ecavallo

  authored
  e286a4a

  Copy full SHA for e286a4a

• Backport changes from the new domain. (#459)

  favonia

  authored
  d2cbc2e

  Copy full SHA for d2cbc2e

Commits on Nov 2, 2018

• Detect cyclic module dependency. (#458)

  favonia

  authored
  5c7df2a

  Copy full SHA for 5c7df2a

Commits on Oct 29, 2018

• Unary and binary natural numbers. (#456)

  Show description for 9b8ff00
  

  cangiuli

  authored and

  favonia

  committed
  9b8ff00

  Copy full SHA for 9b8ff00

• using Cubical Thought in coe/symm/d (#455)

  jonsterling

  authored
  07818bc

  Copy full SHA for 07818bc

Commits on Oct 28, 2018

• rename triv to ★, random cleanup (#453)

  Show description for 7b96dc8
  jonsterling

  authored
  7b96dc8

  Copy full SHA for 7b96dc8

• Tm.FortyTwo backported from the new-domain PR (#452)

  Show description for de09372
  favonia

  authored
  de09372

  Copy full SHA for de09372

• add bool paths, DNE, LEM, aux proofs, refactor (#447)

  Show description for d1997c3
  

  clayrat

  authored and

  jonsterling

  committed
  d1997c3

  Copy full SHA for d1997c3

Commits on Oct 27, 2018

• [Rot] Phase 5: be ^^cooler^^ (#450)

  Show description for 5e098db
  favonia

  authored
  5e098db

  Copy full SHA for 5e098db

• Opam (#448)

  jonsterling

  authored
  f12259d

  Copy full SHA for f12259d

Pagination

Previous

Next