Building, checking and diagramming a theory

Authored by:Pablo Bernabeu intheoryforge 0.6.0.
Source:theoryforge.Rmd, Vignette:theoryforge.html. Last updated:2026-09-01.