Skip to content

@Sparrow-Project Sparrow Project

Change the repository type filter

All

    Repositories list

    1 repository

    • strong-normalization

      Public
      Strong normalization proof for System T in Abella
      Standard ML
      •1•0•0•0•Updated Jun 29, 2026Jun 29, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.