Skip to content
View ianshil's full-sized avatar
3 followers · 4 following
  • Australian National University

Highlights

  • Pro

Block or report ianshil

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. CE_GLS CE_GLS Public

    Cut-elimination via backward proof-search for GLS

    Coq 1

  2. PhD_thesis PhD_thesis Public

    All the formalisation of my thesis.

    Coq 1

  3. G4iSLT G4iSLT Public

    HTML 1

  4. iS4 iS4 Public

    Coq 1

  5. FOBiInt FOBiInt Public

    Completeness proof for first-order bi-intuitionistic logic relative to constant domain Kripke semantics.

    Coq 1

  6. LNS-for-Kt LNS-for-Kt Public

    Forked from caitlindabrera/LNS-for-Kt

    Coq formalisation of linear nested sequents for the tense logic Kt

    Haskell