01_basics

dz / software_foundations / 01_logical_foundations / 01_basics

Summary

Chapter 01: Functional Programming in Coq (basics)

Node Tree

• URL

Nodes

URL
content	URL
hyperlink	https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html