8000 Commits · matijapretnar/proofs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Commits

Branch selector

User selector

Datepicker

Commit History

Commits on Sep 19, 2018

Commits on Sep 18, 2018

Commits on Sep 15, 2018

Commits on Sep 13, 2018

Commits on Aug 31, 2018

Commits on Aug 29, 2018

Commits on Aug 27, 2018

Commits on Aug 25, 2018

Commits on Aug 24, 2018

  • Prove more things

    matijapretnarmatijapretnar
    committed
    d6ee171

  • Almost complete type preservation proof for del2mon

    matijapretnarmatijapretnar
    committed
    006c45b

  • Ensure well-formedness of all typing judgements

    matijapretnarmatijapretnar
    committed
    03f8a10

  • Update some proofs

    matijapretnarmatijapretnar
    committed
    274c1fb

  • Remove wf-assumptions from the generated code

    matijapretnarmatijapretnar
    committed
    cc6f5e7

    • Pagination

    0