Repository navigation

naduo

Public

About

A web app for natural deduction

naduo.netlify.app/

3 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
.gitignore		.gitignore
.nvmrc		.nvmrc
LICENSES.md		LICENSES.md
README.md		README.md
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
postcss.config.js		postcss.config.js
preview.png		preview.png
tailwind.config.js		tailwind.config.js
tsconfig.json		tsconfig.json
tsconfig.node.json		tsconfig.node.json
vite.config.ts		vite.config.ts

Repository files navigation

NaDuO

A web app for natural deduction

About

A web app for natural deduction

naduo.netlify.app/

3 stars

1 watching

Report repository

Contributors

Languages