package info (click to toggle)
r-cran-bookdown 0.42%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 3,752 kB
  • sloc: javascript: 11,343; makefile: 21; sh: 20

Folder: manual

d .. (parent)
- - rw-r--r-- 94 README.md
- - rw-r--r-- 3,738 theorem-proof-engine.Rmd
- - rw-r--r-- 4,403 theorem-proof-fenced.Rmd