Skip to content
This repository has been archived by the owner on Oct 14, 2023. It is now read-only.

History

Revisions

  • Updated HoTT Library (markdown)

    @fpvandoorn fpvandoorn committed Oct 18, 2017
    50f501e

  • Updated HoTT Library (markdown)

    @leodemoura leodemoura committed Oct 18, 2017
    b95b2c7

  • linkfix

    @fpvandoorn fpvandoorn committed Apr 25, 2017
    e71c27f

  • add symmetry, assoc, ac idea

    @johoelzl johoelzl committed Mar 27, 2017
    970ce34

  • Created Refactoring structures (markdown)

    @leodemoura leodemoura committed Mar 24, 2017
    2738110

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    db5f69f

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    15d0219

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    053e52c

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    897b60b

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    d883fbc

  • Updated Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    b821a6e

  • Add description of splitter

    @johoelzl johoelzl committed Mar 20, 2017
    8a03403

  • Created Simplifier Features (markdown)

    @johoelzl johoelzl committed Mar 20, 2017
    709ab5c

  • Created Coinductive Types (markdown)

    @avigad avigad committed Mar 8, 2017
    62c4d26

  • Created Attributes (markdown)

    @leodemoura leodemoura committed Oct 9, 2016
    cbc3881

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 18, 2016
    85d4574

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 13, 2016
    adf2721

  • Updated Compiling mutually inductive declarations (markdown)

    @dselsam dselsam committed Aug 12, 2016
    47f9648

  • Updated Compiling mutually inductive declarations (markdown)

    @dselsam dselsam committed Aug 12, 2016
    0991d46

  • Created Compiling mutually inductive declarations (markdown)

    @dselsam dselsam committed Aug 12, 2016
    098c277

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 12, 2016
    a500d8d

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 12, 2016
    7c3a368

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 12, 2016
    d777054

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 12, 2016
    cc76fd9

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 12, 2016
    8ea87cc

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 11, 2016
    09a06be

  • Updated Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 11, 2016
    7c58560

  • Created Compiling nested inductive types (markdown)

    @dselsam dselsam committed Aug 11, 2016
    08bd096

  • we use the wiki a little bit now

    @fpvandoorn fpvandoorn committed May 13, 2016
    77c488e

  • linkfix

    @fpvandoorn fpvandoorn committed May 13, 2016
    9b577df