Nextjournal
ExploreDocs
Export
Remix
PricingSign up
  • Explore
  • Pricing
  • Docs
  • Try nowSignup or log in →
Programming Language Foundations in Agda•Private
by Andrea Amantini