8000 plfa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 334

  2. plfl plfl Public

    Programming Language Foundations in Lean

    C 37 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,425 CC-BY-4.0 334 49 (13 issues need help) 16 Updated May 20, 2025
  • plfl Public

    Programming Language Foundations in Lean

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

Top languages

Loading…

Most used topics

Loading…
0