Skip to content
@plfa

plfa

Popular repositories Loading

  1. plfa.github.io plfa.github.io Public

    An introduction to programming language theory in Agda

    Agda 1.4k 333

  2. plfl plfl Public

    Programming Language Foundations in Lean

    C 36 6

Repositories

Showing 2 of 2 repositories
  • plfa.github.io Public

    An introduction to programming language theory in Agda

    plfa/plfa.github.io’s past year of commit activity
    Agda 1,424 CC-BY-4.0 333 49 (13 issues need help) 16 Updated May 12, 2025
  • plfl Public

    Programming Language Foundations in Lean

    plfa/plfl’s past year of commit activity
    C 36 6 0 0 Updated Apr 18, 2025

Top languages

Loading…

Most used topics

Loading…