Repository navigation

deductions

Public

About

A collection of html/js tools for creating and checking logical deductions

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
README.md		README.md
braces.webp		braces.webp
line.svg		line.svg
natural deduction.html		natural deduction.html
split.svg		split.svg
splitL.svg		splitL.svg
splitR.svg		splitR.svg
tables.js		tables.js
tree.html		tree.html
truth tables.html		truth tables.html

Repository files navigation

deductions

A collection of html/js tools for creating and checking logical deductions

About

A collection of html/js tools for creating and checking logical deductions

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages