Skip to content

History

New page

Revisions

  • Updated Home (markdown)

    @Alizter Alizter committed Mar 4, 2023
    6e28810

  • Updated Home (markdown)

    @Alizter Alizter committed Jan 15, 2023
    05a6a93

  • Fix links: HoTT -> Coq-HoTT and html HoTTBook pages have prefix HoTT.Contrib

    @herbelin herbelin committed Nov 12, 2022
    2a8503e

  • Updated Home (markdown)

    @Alizter Alizter committed Sep 13, 2022
    80286b2

  • quickfix

    @Alizter Alizter committed Feb 10, 2022
    f58f5f3

  • reorganise Home.md and update links

    @Alizter Alizter committed Feb 10, 2022
    2889ce7

  • Updated How to update coq version for library (markdown)

    @Alizter Alizter committed Dec 17, 2021
    f36fd00

  • Updated Home (markdown)

    @Alizter Alizter committed Dec 2, 2021
    a206712

  • Updated Home (markdown)

    @Alizter Alizter committed Dec 2, 2021
    791a658

  • Updated Home (markdown)

    @Alizter Alizter committed Dec 2, 2021
    c3c91b8

  • Updated How to update coq version for library (markdown)

    @Alizter Alizter committed Oct 14, 2021
    f3d836e

  • Updated How to update coq version for library (markdown)

    @Alizter Alizter committed Oct 14, 2021
    51d4b60

  • http -> https

    @JasonGross JasonGross committed Apr 15, 2021
    bcacb9b

  • Link to upcoming Alectryon documentation

    @JasonGross JasonGross committed Apr 15, 2021
    fd1240d

  • Added update instructions

    @Alizter Alizter committed Jan 17, 2021
    89f477f

  • Created Windows install instructions (markdown)

    @Alizter Alizter committed Jan 26, 2020
    c9ddd23

  • Updated Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 19, 2019
    1ad0ec7

  • Updated Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 12, 2019
    a4bc81a

  • Updated Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 12, 2019
    aaa51ac

  • Updated Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 12, 2019
    1d30e5b

  • Updated Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 12, 2019
    af8260d

  • Created Publications based on the HoTT library (markdown)

    @spitters spitters committed Jun 12, 2019
    df9774a

  • Updated Home (markdown)

    @spitters spitters committed Jun 15, 2016
    67e3228

  • Updated Home (markdown)

    @spitters spitters committed Jun 14, 2016
    202d65e

  • Adding JsCoq

    @spitters spitters committed Jun 14, 2016
    c858d92

  • Updated Home (markdown)

    @spitters spitters committed Jun 14, 2016
    0b7203a

  • link to script

    @spitters spitters committed Feb 29, 2016
    f2a8be7

  • Updated Home (markdown)

    @spitters spitters committed Feb 29, 2016
    3e2de0f

  • Fix a broken link

    @JasonGross JasonGross committed Mar 20, 2015
    44a15f0

  • Updated Home (markdown)

    @spitters spitters committed Feb 11, 2015
    47c213b