projects / cubicaltt.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cubicaltt.git
2016-10-20 Anders Mörtbergremove examples/aim.ctt as it is subsumed by examples... commit | commitdiff | tree | snapshot
2016-09-22 Anders Mörtbergadd a small puzzle due to Andrew Polonsky commit | commitdiff | tree | snapshot
2016-09-22 Anders MörtbergMerge pull request #49 from mortberg/defeqJ commit | commitdiff | tree | snapshot
2016-09-19 Simon HuberFix insertSystem to maintain invariant for systems commit | commitdiff | tree | snapshot
2016-09-15 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2016-09-15 Anders Mörtbergcleaning commit | commitdiff | tree | snapshot
2016-09-14 Anders Mörtbergvisible -> transparent commit | commitdiff | tree | snapshot
2016-09-14 Anders Mörtbergdirect definition of retract commit | commitdiff | tree | snapshot
2016-09-14 Anders Mörtbergadd Dan's proof of univalence from ua and uabeta commit | commitdiff | tree | snapshot
2016-08-10 Anders MörtbergMerge pull request #50 from david-christiansen/elisp... commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenEmacs mode: Update names for Customize commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenUpdate README for Emacs mode commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenRemove redundant comment command from Emacs mode commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenRemove CL-isms from Emacs mode commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenRename Emacs mode identifiers commit | commitdiff | tree | snapshot
2016-08-01 David ChristiansenBetter comment about space-escaping in Emacs mode commit | commitdiff | tree | snapshot
2016-07-29 Anders Mörtbergdefine equivalence using Id and prove univalence with... commit | commitdiff | tree | snapshot
2016-07-29 Anders Mörtbergminor changes commit | commitdiff | tree | snapshot
2016-07-29 Anders Mörtbergcleaning and a version of univalence for Id commit | commitdiff | tree | snapshot
2016-07-29 Anders Mörtbergrename Eq to Id commit | commitdiff | tree | snapshot
2016-07-29 Simon HuberSome experiments with Eq commit | commitdiff | tree | snapshot
2016-07-29 Simon HuberAdded Eq types with definitional equality for J commit | commitdiff | tree | snapshot
2016-07-29 Anders MörtbergMerge pull request #46 from david-christiansen/elisp... commit | commitdiff | tree | snapshot
2016-07-29 Anders MörtbergMerge pull request #45 from david-christiansen/emacs... commit | commitdiff | tree | snapshot
2016-07-29 Anders MörtbergMerge pull request #44 from gullcomb/opt-decl-cmp commit | commitdiff | tree | snapshot
2016-07-29 Anders Mörtbergchange back conversion commit | commitdiff | tree | snapshot
2016-07-29 Anders MörtbergMerge branch 'conv' commit | commitdiff | tree | snapshot
2016-07-26 David Raymond... Improve the display of Emacs customize commit | commitdiff | tree | snapshot
2016-07-26 David Raymond... Add imenu support to the Emacs mode commit | commitdiff | tree | snapshot
2016-07-26 David Raymond... Add support for completion commit | commitdiff | tree | snapshot
2016-07-26 David Raymond... Make the Emacs mode work for package.el commit | commitdiff | tree | snapshot
2016-07-25 David ChristiansenAdd subprocess to Emacs mode commit | commitdiff | tree | snapshot
2016-07-14 Anders Mörtbergminor changes commit | commitdiff | tree | snapshot
2016-07-12 Guillaume CombetteTag declarations with their location. commit | commitdiff | tree | snapshot
2016-07-12 Guillaume CombetteFix build for GHC 7.8 commit | commitdiff | tree | snapshot
2016-07-11 Anders Mörtbergfix bug in printing commit | commitdiff | tree | snapshot
2016-07-11 Anders Mörtbergcleaning of binnat commit | commitdiff | tree | snapshot
2016-07-11 Anders MörtbergClean up of univalence and add the definition of unival... commit | commitdiff | tree | snapshot
2016-07-08 Rafaël BocquetMerge branch 'csystems' commit | commitdiff | tree | snapshot
2016-07-08 Rafaël BocquetFix conv commit | commitdiff | tree | snapshot
2016-07-08 Rafaël BocquetMerge branch 'master' into csystems commit | commitdiff | tree | snapshot
2016-07-07 Rafaël BocquetSpeed up conv commit | commitdiff | tree | snapshot
2016-07-07 Rafaël Bocquetadd some comments in category.ctt and csystem.ctt commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergrename visible to transparent and fix printing of glue commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergrename glue -> Glue, glueElem -> glue and unglueElem... commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergrename Id to Path commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergremove nthmUniv commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergrename Path to PLam and IdP to PathP commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmake subset compile using opaque commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmove testempty commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmerge mult and multS1 commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmove context of indSusp to susp commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmore duplicate definitions commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergmove ex1 into circle commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergremove duplicate code commit | commitdiff | tree | snapshot
2016-07-07 Anders Mörtbergadd a line without any specified points commit | commitdiff | tree | snapshot
2016-07-07 Anders MörtbergMerge branch 'csystems' commit | commitdiff | tree | snapshot
2016-07-06 Anders Mörtbergdon't hardcode list of ctt files in Makefile for genera... commit | commitdiff | tree | snapshot
2016-07-06 Anders Mörtbergcleaning in prelude commit | commitdiff | tree | snapshot
2016-07-06 Anders Mörtbergadd equalNat commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergfix name of local splits commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergadd local split commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergadd batch mode flag commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergwip commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergwip on an equivalent presentation of the circle as... commit | commitdiff | tree | snapshot
2016-07-05 Anders Mörtbergminor changes to circle commit | commitdiff | tree | snapshot
2016-07-01 Simon HuberMerge pull request #39 from abooij/prop-trunc commit | commitdiff | tree | snapshot
2016-06-20 Rafaël BocquetTwo equivalent categories are equal commit | commitdiff | tree | snapshot
2016-06-14 Rafaël Bocquetwip commit | commitdiff | tree | snapshot
2016-06-13 Rafaël Bocquetwip commit | commitdiff | tree | snapshot
2016-06-02 Auke BooijAdd warning about recursive HITs commit | commitdiff | tree | snapshot
2016-06-02 Auke BooijRename truncP to inh commit | commitdiff | tree | snapshot
2016-06-01 Auke Booijimplement propositional truncation commit | commitdiff | tree | snapshot
2016-05-31 Rafaël BocquetSplit csystem.ctt into category.ctt and csystem.ctt commit | commitdiff | tree | snapshot
2016-05-24 Anders Mörtbergadd reserved keywords to README commit | commitdiff | tree | snapshot
2016-05-23 Rafaël BocquetConstruction of a C0-System from a universe category commit | commitdiff | tree | snapshot
2016-05-23 Rafaël BocquetFix the module name commit | commitdiff | tree | snapshot
2016-05-23 Rafaël Bocquet(wip) construction of a C0-System from a universe category commit | commitdiff | tree | snapshot
2016-05-10 Rafaël BocquetBoth definitions of C systems; the second one implies... commit | commitdiff | tree | snapshot
2016-04-27 Thierry Coquandsmall change commit | commitdiff | tree | snapshot
2016-04-27 Thierry Coquandwe should improve the evaluator commit | commitdiff | tree | snapshot
2016-04-21 Rafaël BocquetMerge branch 'master' of github.com:mortberg/cubicaltt... commit | commitdiff | tree | snapshot
2016-04-21 Rafaël Bocquetdefinition of C systems commit | commitdiff | tree | snapshot
2016-04-14 Anders MörtbergFinish binnat example and add elimination principles... commit | commitdiff | tree | snapshot
2016-04-14 Rafaël Bocquetsimple computation using multZ commit | commitdiff | tree | snapshot
2016-04-14 Rafaël Bocquettorsor multiplication commit | commitdiff | tree | snapshot
2016-04-13 Rafaël Bocqueteval ignores opaqueness commit | commitdiff | tree | snapshot
2016-04-12 Anders MörtbergStart porting binnat commit | commitdiff | tree | snapshot
2016-04-12 Rafaël Bocquetvisible_all command commit | commitdiff | tree | snapshot
2016-04-12 Rafaël BocquetOpaque/Visible definitions commit | commitdiff | tree | snapshot
2016-04-08 Rafaël Bocquetsome proofs commit | commitdiff | tree | snapshot
2016-04-08 Rafaël Bocquetslow proof commit | commitdiff | tree | snapshot
2016-04-08 Thierry Coquandother proof of lemPropF commit | commitdiff | tree | snapshot
2016-04-07 Rafaël BocquetOnly ZEquiv : isEquiv (plus x) is not proven commit | commitdiff | tree | snapshot
2016-04-06 Rafaël BocquetS1 = BZ commit | commitdiff | tree | snapshot
2016-04-05 Rafaël BocquetMerge branch 'master' of https://github.com/mortberg... commit | commitdiff | tree | snapshot
2016-04-05 Rafaël BocquetZ = Id BZ ZBZ ZBZ commit | commitdiff | tree | snapshot
2016-04-04 Rafaël Bocquet. commit | commitdiff | tree | snapshot
2016-04-02 Thierry Coquandsome computations commit | commitdiff | tree | snapshot
2016-04-01 Thierry Coquandstudy of multiplication on S1 commit | commitdiff | tree | snapshot
next
My fork of cubicaltt with web interface using Reflex.