Commits

Branch selector

 main

User selector

jonsterling

Datepicker

All time

Commit History

Commits on Jun 22, 2022

• 📖 add better record syntax, improve pretty printing (#380)

  Show description for c7126ac
  

  3 peopleauthored
  c7126ac

  Copy full SHA for c7126ac

Commits on Jun 7, 2022

• 🪟 Translucency: semi-abstract definitions and unfolding via extension types (#373)

  Show description for 2e451ab
  

  jonsterling

  and

  favonia

  authored
  2e451ab

  Copy full SHA for 2e451ab

Commits on Jun 3, 2022

• 🚫🥸 Remove symbol-specific veils (#374)

  Show description for 7408368
  jonsterling

  authored
  7408368

  Copy full SHA for 7408368

Commits on May 26, 2022

• remove "locked proof" feature (#371)

  jonsterling

  authored
  214c56d

  Copy full SHA for 214c56d

• dimension inequality (#369)

  Show description for 004345c
  

  jonsterling

  and

  favonia

  authored
  004345c

  Copy full SHA for 004345c

Commits on Aug 1, 2021

• 🛐 update README and CONTRIBUTORS with acknowledgments (#272)

  jonsterling

  authored
  c497ff5

  Copy full SHA for c497ff5

Commits on Jun 4, 2021

• Fix holes and probes (#193)

  Show description for e3bfac1
  jonsterling

  authored
  e3bfac1

  Copy full SHA for e3bfac1

• Dimension probe invariants (#191)

  Show description for 5b4c49a
  jonsterling

  authored
  5b4c49a

  Copy full SHA for 5b4c49a

Commits on Aug 25, 2020

• Locked truth wrappers (#177)

  Show description for 312147b
  jonsterling

  authored
  312147b

  Copy full SHA for 312147b

Commits on Aug 24, 2020

• Support for top-level axioms; some grammar changes (#176)

  Show description for 3ed0208
  jonsterling

  authored
  3ed0208

  Copy full SHA for 3ed0208

Commits on Jul 1, 2020

• Put the 🧞‍♂️ back in the bottle (#171)

  Show description for fe147a0
  jonsterling

  authored
  fe147a0

  Copy full SHA for fe147a0

• [Refactoring] turning the frontend into a separate library (#169)

  Show description for 9f312f3
  jonsterling

  authored
  9f312f3

  Copy full SHA for 9f312f3

Commits on Jun 16, 2020

• n-ary split refinement rule (#164)

  Show description for 134dece
  jonsterling

  authored
  134dece

  Copy full SHA for 134dece

• Smoother tactic interface; bug fixes (#163)

  Show description for 4a68880
  jonsterling

  authored
  4a68880

  Copy full SHA for 4a68880

Commits on Jun 14, 2020

• Further documentation (#162)

  Show description for e3cb2af
  jonsterling

  authored
  e3cb2af

  Copy full SHA for e3cb2af

• add instructions for upgrading ocaml (resolves #157) (#161)

  Show description for b9e7535
  

  jonsterling

  and

  cangiuli

  authored
  b9e7535

  Copy full SHA for b9e7535

• Factor out cubical stuff (Dim, Cof, CofThy) into a library (#159)

  Show description for efd4fff
  jonsterling

  authored
  efd4fff

  Copy full SHA for efd4fff

Commits on Jun 8, 2020

• add extension types, remove path types (#152)

  Show description for 72988eb
  jonsterling

  authored
  72988eb

  Copy full SHA for 72988eb

Commits on Jun 6, 2020

• Refactoring the domain (#150)

  Show description for 3d48266
  jonsterling

  authored
  3d48266

  Copy full SHA for 3d48266

Commits on Jun 5, 2020

• fixing unfolding again (#148)

  Show description for c43654d
  jonsterling

  authored
  c43654d

  Copy full SHA for c43654d

Commits on Jun 3, 2020

• try fixing the CI to work on pull requests (#141)

  jonsterling

  authored
  3f23af4

  Copy full SHA for 3f23af4

• Updates to the document (#138)

  Show description for 250e99a
  

  jonsterling

  and

  cangiuli

  authored
  250e99a

  Copy full SHA for 250e99a

• add explicit substitutions to the core language (resolve #135) (#137)

  Show description for db590e7
  jonsterling

  authored
  db590e7

  Copy full SHA for db590e7

Commits on Jun 2, 2020

• Refinement rules for composite types; and Split rectification campaign (#125)

  Show description for b7ea213
  

  jonsterling

  and

  favonia

  authored
  b7ea213

  Copy full SHA for b7ea213

Commits on May 30, 2020

• Fix things being unfolded prematurely (#123)

  Show description for 7392fc6
  jonsterling

  authored
  7392fc6

  Copy full SHA for 7392fc6

• Fix bug, also playing with hlevels (#119)

  Show description for 6324db5
  jonsterling

  authored
  6324db5

  Copy full SHA for 6324db5

Commits on May 29, 2020

• Refinement and elaboration of V types (#116)

  Show description for 535208b
  

  3 peopleauthored
  535208b

  Copy full SHA for 535208b

Commits on May 25, 2020

• Experimenting with SIMPLE-MINDED explicit substitutions (#113)

  Show description for 206840f
  jonsterling

  authored
  206840f

  Copy full SHA for 206840f

Commits on May 23, 2020

• Composition in the universe (#107)

  Show description for 5cc93f0
  

  3 peopleauthored
  5cc93f0

  Copy full SHA for 5cc93f0

Commits on May 16, 2020

• Universal quantification of cofibrations via quantifier elimination (#102) (#103)

  Show description for 0bf39d3
  jonsterling

  authored
  0bf39d3

  Copy full SHA for 0bf39d3

Commits on May 15, 2020

• Some top-level improvements (add print command) (#99)

  Show description for f1dccb2
  jonsterling

  authored
  f1dccb2

  Copy full SHA for f1dccb2

• Correct typo in README (#97)

  jonsterling

  authored
  b90a63d

  Copy full SHA for b90a63d

Commits on May 12, 2020

• fix #89 (#90)

  Show description for a94acd3
  jonsterling

  authored
  a94acd3

  Copy full SHA for a94acd3

• adding type-in-type for now; fixing nat-elim; remember source names (#84)

  Show description for 1df1df2
  jonsterling

  authored
  1df1df2

  Copy full SHA for 1df1df2

Commits on May 11, 2020

• El up to isomorphism (#79)

  Show description for b0159c9
  jonsterling

  authored
  b0159c9

  Copy full SHA for b0159c9

Pagination

Previous

Next