Skip to content

@plfa plfa

Change the repository type filter

All

    Repositories list

    3 repositories

    • plfa.github.io

      Public
      An introduction to programming language theory in Agda
      bookproof-assistantprogramming-languages
      Agda
      •
      Creative Commons Attribution 4.0 International
      •344•1.5k•47•13•Updated Dec 24, 2025Dec 24, 2025

    • plfl

      Public
      Programming Language Foundations in Lean
      C
      •6•47•0•0•Updated Jul 22, 2025Jul 22, 2025

    • lagda.md2tex

      Public
      Tool for converting literate Agda in markdown to literate Agda in tex
      TeX
      •0•1•0•0•Updated Feb 27, 2023Feb 27, 2023