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 332

  2. plfl plfl Public

    Programming Language Foundations in Lean

    C 34 6

Repositories

Showing 2 of 2 repositories
  • plfl Public

    Programming Language Foundations in Lean

    C 34 6 0 0 Updated Apr 18, 2025
  • plfa.github.io Public

    An introduction to programming language theory in Agda

    Agda 1,416 CC-BY-4.0 332 49 (13 issues need help) 16 Updated Apr 9, 2025

Top languages

Loading…

Most used topics

Loading…