Skip to content

History / Languages and Test Frameworks

Revisions

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Apr 15, 2021
    e2c535a

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Dec 15, 2020
    aad6d4e

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Oct 20, 2020
    06b882a

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Oct 20, 2020
    6c7f0ba

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Oct 10, 2020
    e008198

  • Move Lean Support out of Beta

    Donald Sebastian Leung committed May 20, 2020
    8a58638

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed May 12, 2020
    ad88e1d

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed May 5, 2020
    79a8075

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed May 5, 2020
    4401d2a

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Apr 28, 2020
    5b4c32b

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Apr 28, 2020
    ba83502

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Apr 22, 2020
    b05e04f

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Apr 22, 2020
    8c132c1

  • Updated Languages and Test Frameworks (markdown)

    Donald Sebastian Leung committed Apr 4, 2020
    99e0876

  • Updated Languages and Test Frameworks (markdown)

    Donald Sebastian Leung committed Mar 31, 2020
    074251c

  • Updated Languages and Test Frameworks (markdown)

    Donald Sebastian Leung committed Mar 31, 2020
    674c415

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Mar 31, 2020
    650111c

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Mar 31, 2020
    8aa382e

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jan 24, 2020
    296d302

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jan 24, 2020
    01390a9

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jan 6, 2020
    34bbf7a

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jan 5, 2020
    c5e1c4b

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Sep 4, 2019
    3bce5ff

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Aug 31, 2019
    194f1f3

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Aug 3, 2019
    b185d9c

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jul 26, 2019
    6217998

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jul 10, 2019
    4bc11a6

  • Updated Languages and Test Frameworks (markdown)

    @kazk kazk committed Jun 28, 2019
    b2d363a

  • Updated Languages and Test Frameworks (markdown)

    @Bubbler-4 Bubbler-4 committed Jun 5, 2019
    5d0abb3

  • Add Coq

    @Bubbler-4 Bubbler-4 committed Jun 5, 2019
    c5510de