discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Questions about the paper "A Framework for Defining Logics" (LF)
https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
6 comments
6/1/2024
programminglanguages