01_logical_foundations

dz / software_foundations / 01_logical_foundations

Summary

Software Foundations

Subgraphs

• 00_preface
• 01_basics
• 02_induction

Node Tree

• top
  • misc/coqtail
• URL

Nodes

top
content	top
children	misc/coqtail (use coq with vim to do software foundations)

URL
content	Software Foundations
hyperlink	https://softwarefoundations.cis.upenn.edu/lf-current/index.html