software_foundations/01_logical_foundations

01_logical_foundations

dz / software_foundations / 01_logical_foundations

Summary

Software Foundations

Subgraphs

Node Tree

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