Deduction Typesetter for Philos12A

Uses katex to typeset deductions with an intuitive frontend interface. Built with React + Vite for fast loading

TODO:

[] Hook into child components to update possible rules for each row when select is changed
[] Add row button
[] Display actual math
[] Align katex lines with input box rows

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
public		public
src		src
.eslintrc.cjs		.eslintrc.cjs
.gitignore		.gitignore
README.md		README.md
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
vite.config.js		vite.config.js