Skip to content

History / Abstracts.2018.ClassicalProofsAsPrograms

Revisions

  • Updated Abstracts.2018.ClassicalProofsAsPrograms

    @bafain bafain committed Feb 3, 2020
    f97800f

  • Updated Abstracts.2018.ClassicalProofsAsPrograms

    @bafain bafain committed Feb 3, 2020
    450a1f3

  • Updated Abstracts.2018.ClassicalProofsAsPrograms

    @bafain bafain committed Feb 3, 2020
    2cca3e8

  • Updated Abstracts.2018.ClassicalProofsAsPrograms

    @bafain bafain committed Feb 3, 2020
    b9e0a69

  • Created Abstracts

    @bafain bafain committed Jan 15, 2020
    b85d0db

  • Add example in Agda

    @ayberkt ayberkt committed Nov 22, 2018
    f0b0f84

  • Add abstract for "classical proofs as programs"

    @ayberkt ayberkt committed Nov 15, 2018
    4db46e9