01_logical_foundations
dz / software_foundations / 01_logical_foundationsSummary
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 |