Skip to content
@sequents

sequents

Proof & type theory studies

Popular repositories Loading

  1. code code Public

    Proof theory seminar

    Idris 35 2

  2. ref-graphs ref-graphs Public

    Reflexive graphs

    Agda

Repositories

Showing 2 of 2 repositories
  • ref-graphs Public

    Reflexive graphs

    sequents/ref-graphs's past year of commit activity
    Agda 0 0 0 0 Updated May 23, 2026
  • code Public

    Proof theory seminar

    sequents/code's past year of commit activity
    Idris 35 2 0 0 Updated Apr 6, 2021

Top languages

Loading…

Most used topics

Loading…