cubicaltt.git
2018-09-16 Floris van... define pointed maps, and prove some equivalences betwee...
2018-06-10 Anders Mörtbergdon't truncate error messages so much
2018-06-10 Anders Mörtbergmake cubicaltt compile with the latest version of GHC
2018-05-25 favoniaMake GNUmakefile more customizable.
2018-04-25 Anders Mörtbergfix indentation in univalenceAlt
2018-04-19 Anders Mörtbergopaque uaret
2018-04-19 Anders Mörtbergcopy over brunerie.ctt from hcomptrans branch. some...
2018-04-19 Anders Mörtbergadd 5th winding number
2018-04-09 Carlo AngiuliClean up isoToEquiv proof with Anders.
2018-02-23 Anders Mörtbergadd an alternative proof of J
2018-02-10 Anders Mörtbergclarify PathP vs Path
2017-12-06 Anders Mörtbergproof relating function part of transEquiv to transEqui...
2017-11-20 Anders Mörtbergcomments
2017-11-20 Anders Mörtbergsimplify more
2017-11-20 Anders Mörtbergimprove uaret
2017-11-18 Anders Mörtbergupdate lectures
2017-11-14 Anders Mörtbergunfolded version of propIsEquivDirect
2017-11-11 Anders Mörtbergdirect proof that being an equiv is a prop
2017-11-08 Carlo Angiulidelete 'primitive' keyword from emacs mode
2017-11-08 Carlo Angiulirudimentary vim syntax file
2017-11-06 Namdak Tonpaplug functor to recursion schemes
2017-11-06 Namdak TonpaCreate lambek.ctt
2017-11-06 Namdak TonpaCreate control.ctt
2017-11-03 Anders Mörtbergupdate lectures
2017-10-30 Anders Mörtbergdirect proofs that things are sets
2017-09-25 Anders Mörtbergtest travis for PRs
2017-09-25 Anders Mörtbergtest travis
2017-09-24 Víctor López... .gitignore .stack-work, vim swap files
2017-09-24 Víctor López... Build with stack LTS 9.5 resolver
2017-09-24 Anders Mörtberguse foldrWithKey instead of foldWithKey to eliminate...
2017-09-20 Anders Mörtbergcleaning
2017-09-17 Apostolis Xekoukoulo... A small simplification on binnat.ctt
2017-09-13 Anders Mörtbergupdate lectures
2017-09-12 Víctor López... Add stack build instructions to the README.md file.
2017-09-12 Víctor López... Remove cruft from stack.yaml
2017-09-12 Víctor López... Add support for Travis CI
2017-09-12 Mike ShulmanUse cubicaltt syntax table in the process buffer.
2017-09-12 Mike Shulmanseparate syntax highlighting for keywords and builtins
2017-09-08 Cyril CohenMerge pull request #77 from mikeshulman/nograd
2017-09-07 Mike ShulmanRemove one more instance of "graduate lemma"
2017-08-11 Anders Mörtbergrename gradLemma to isoToEquiv
2017-07-09 Anders Mörtbergpi4s3 (first 5 maps)
2017-06-20 Anders Mörtbergmove girard
2017-06-20 Anders MörtbergMerge pull request #40 from abooij/girard
2017-06-20 Anders MörtbergMerge pull request #65 from mortberg/fiximporterrors
2017-06-20 Anders MörtbergMerge pull request #70 from Sobernard/master
2017-06-17 Anders Mörtbergmore explanations
2017-06-14 Anders Mörtbergupdate README
2017-06-14 Anders Mörtbergupdate README
2017-06-14 Anders Mörtbergupdate README
2017-06-14 Anders Mörtbergadd README for the lectures
2017-06-14 Anders Mörtberglecture 4
2017-06-14 Anders Mörtbergupdate lectures
2017-06-14 Sophie Bernardcomments
2017-06-09 Sophie Bernardgeneral constcubes 2-3-4D
2017-06-09 Sophie Bernardconstcubes in n dimensions
2017-06-08 Anders Mörtbergspurious import
2017-06-08 Anders Mörtbergproper error handling when importing files
2017-06-08 Anders Mörtbergadd first version of lecture 4
2017-06-08 Anders MörtbergMerge pull request #66 from mortberg/shadowed
2017-06-08 Anders Mörtbergmove test up
2017-06-08 Anders Mörtbergremove empty lines
2017-06-08 Anders MörtbergCheck if some names were shadowed while loading the...
2017-05-30 Anders Mörtbergfix typos
2017-05-30 Anders Mörtbergadd lecture 3
2017-05-20 Anders Mörtbergminor
2017-05-20 Anders Mörtbergminor
2017-05-20 Anders Mörtbergminor update to lecture 2
2017-05-20 Anders MörtbergAdd lecture 2
2017-05-12 Anders Mörtbergupdate lecture1
2017-05-11 Anders Mörtberglecture1
2017-05-11 Anders Mörtbergupdate lecture
2017-05-11 Anders Mörtbergfirst lecture
2017-05-11 Cyril CohenAllow overlapping Arbitrary for Face and System
2017-05-11 Cyril CohenBoxing Env to prevent Show conflicts with newer version...
2017-05-07 Anders Mörtbergminor change
2017-05-02 Simon HuberMerge pull request #60 from Rotsor/more-parens-in-goal
2017-05-02 Anders MörtbergMerge pull request #59 from Rotsor/checkPLam-error...
2017-04-27 Simon HuberFix printing of idC and idJ also for values
2017-04-27 Simon HuberDon't use smart-constructors when normalizing values
2017-04-27 Simon HuberShow idC and idJ as we parse them
2017-04-26 Arseniy AlekseyevMore parentheses when printing values
2017-04-22 Arseniy Alekseyevbetter error message from checkPLam
2017-04-21 Simon HuberMerge pull request #58 from Rotsor/patch-1
2017-04-19 RotsorEmacs mode: ignore backslash character
2017-01-19 Anders Mörtbergminor changes to bool
2017-01-19 Anders Mörtbergexperiment with Id
2017-01-04 Anders MörtbergMerge pull request #56 from linuborj/cubicaltt_grothendieck
2017-01-03 linusboUncommented slow function.
2017-01-02 linusboAdded definitions of algebraic structures in algstruct...
2016-12-25 Anders Mörtbergswap direction of equality to match order in comment
2016-12-25 Anders Mörtbergadd opposite category
2016-12-01 Anders Mörtbergadd a comment to category
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders Mörtbergupdate demo
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders Mörtbergreadme
2016-10-22 Anders MörtbergREADME
2016-10-22 Anders Mörtbergupdate readme
2016-10-21 Anders Mörtbergdoc
next