Skip to content

History

New page

Revisions

  • Updated Continuous Integration with Nix (markdown)

    @erikmd erikmd committed Aug 19, 2024
    9884ad2

  • Updated Continuous Integration with Nix (markdown)

    @erikmd erikmd committed Aug 19, 2024
    8138c98

  • Updated Continuous Integration with Nix (markdown)

    @erikmd erikmd committed Aug 13, 2024
    3a4a608

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Oct 31, 2022
    dbdfecc

  • Updated Continuous Integration with Nix (markdown)

    @Zimmi48 Zimmi48 committed Oct 4, 2022
    8fcc53f

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Nov 5, 2021
    3ae2470

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Nov 3, 2021
    a85e719

  • Updated Continuous Integration with Nix (markdown)

    @Zimmi48 Zimmi48 committed Aug 31, 2021
    dacc1d6

  • Updated Developing and debugging with Nix (markdown)

    @Zimmi48 Zimmi48 committed Aug 8, 2021
    8cd6274

  • Updated To Do (markdown)

    @Zimmi48 Zimmi48 committed Aug 8, 2021
    ba8f91c

  • Updated Recommended Project Structure (markdown)

    @Zimmi48 Zimmi48 committed Aug 8, 2021
    efe1d65

  • Updated Continuous Integration with Nix (markdown)

    @Zimmi48 Zimmi48 committed Aug 8, 2021
    3b58339

  • CoqMakefile -> Makefile.coq

    @palmskog palmskog committed Jan 5, 2021
    564354f

  • Updated Recommended Project Structure (markdown)

    @palmskog palmskog committed Dec 21, 2020
    a40153e

  • Updated Recommended Project Structure (markdown)

    @palmskog palmskog committed Dec 20, 2020
    8f66eb3

  • Updated Recommended Project Structure (markdown)

    @palmskog palmskog committed Dec 20, 2020
    8d1a96a

  • Updated Recommended Project Structure (markdown)

    @palmskog palmskog committed Dec 20, 2020
    90c4b75

  • Rephrase

    @erikmd erikmd committed Dec 12, 2020
    5ed53fe

  • Update advantages

    @erikmd erikmd committed Dec 12, 2020
    9a0ddeb

  • Recommend GitHub Actions and small additions

    @anton-trunov anton-trunov committed Dec 10, 2020
    9cc8b99

  • Revert prev. change (it's the output of `tree` command)

    @anton-trunov anton-trunov committed Nov 6, 2020
    43d3792

  • Updated Recommended Project Structure (markdown)

    @KevOrr KevOrr committed Nov 4, 2020
    fe24483

  • submitting an opam package

    @anton-trunov anton-trunov committed Sep 8, 2020
    a9145dd

  • typo fix

    @anton-trunov anton-trunov committed Sep 8, 2020
    b2061aa

  • Updated Recommended Project Structure (markdown)

    @Zimmi48 Zimmi48 committed Sep 8, 2020
    c721ebe

  • Updated Recommended Project Structure (markdown)

    @Zimmi48 Zimmi48 committed Sep 8, 2020
    592e629

  • Initial draft

    @anton-trunov anton-trunov committed Sep 8, 2020
    359bfd4

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Aug 30, 2020
    60e8bed

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Aug 30, 2020
    159a7bf

  • Updated List of disused formalized mathematics in Coq (markdown)

    @palmskog palmskog committed Aug 30, 2020
    68401e7