GitHub - Carnap/Carnap-Manual: User Documentation for the Carnap Framework

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.github/workflows		.github/workflows
filters		filters
images		images
.gitignore		.gitignore
Set_Theory_Demo.qmd		Set_Theory_Demo.qmd
_quarto.yml		_quarto.yml
administration.qmd		administration.qmd
api.qmd		api.qmd
awesome-carnap.qmd		awesome-carnap.qmd
dashboard.qmd		dashboard.qmd
derivations.qmd		derivations.qmd
equivalences.qmd		equivalences.qmd
faq.qmd		faq.qmd
forallx-msu.qmd		forallx-msu.qmd
forallx-pitt.qmd		forallx-pitt.qmd
forallx-yyc.qmd		forallx-yyc.qmd
forallx.qmd		forallx.qmd
gentzen-ND.qmd		gentzen-ND.qmd
index.qmd		index.qmd
installation.qmd		installation.qmd
javascript.qmd		javascript.qmd
logicbook.qmd		logicbook.qmd
lti-develop.qmd		lti-develop.qmd
lti.qmd		lti.qmd
modelchecker.qmd		modelchecker.qmd
montague.qmd		montague.qmd
pandoc.qmd		pandoc.qmd
qualitative.qmd		qualitative.qmd
quickstart.qmd		quickstart.qmd
references.bib		references.bib
references.qmd		references.qmd
sequent-calculus.qmd		sequent-calculus.qmd
server-configuration.qmd		server-configuration.qmd
syntax-check.qmd		syntax-check.qmd
system-template.qmd		system-template.qmd
systems.qmd		systems.qmd
translation.qmd		translation.qmd
truth-tables.qmd		truth-tables.qmd
truth-tree.qmd		truth-tree.qmd