https://github.com/xiaoshihou514/ndpc
Natural deduction proof compiler
https://github.com/xiaoshihou514/ndpc
logic proof
Last synced: 12 months ago
JSON representation
Natural deduction proof compiler
- Host: GitHub
- URL: https://github.com/xiaoshihou514/ndpc
- Owner: xiaoshihou514
- License: gpl-3.0
- Created: 2024-06-25T12:34:16.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2025-02-19T16:32:28.000Z (about 1 year ago)
- Last Synced: 2025-04-21T08:58:20.514Z (about 1 year ago)
- Topics: logic, proof
- Language: Scala
- Homepage: https://xiaoshihou514.github.io/ndpc
- Size: 227 KB
- Stars: 7
- Watchers: 2
- Forks: 0
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Ndpc
ndpc is the compiler for the natural deduction proof markup language.
[Getting started](https://xiaoshihou514.github.io/ndpc/getting-started.html) •
[Tutorial](https://xiaoshihou514.github.io/ndpc/tutorial.html) •
[Cheatsheet](https://xiaoshihou514.github.io/ndpc/rules.html)
## What is ndpc?
Ndpc introduced a markup language for creating [natural deduction](https://wikipedia.org/wiki/Natural_deduction) proofs for propositional logic and classical first order logic, with support for validation, formatting, and exporting to HTML.
Compared to existing similar tools, ndpc is easier to use and looks much more similar to hand written proofs.
Click to watch video demo:
[](https://github.com/user-attachments/assets/70cd3fa3-d52d-4ab2-9554-aa5c1135f443)
## Getting started
Go to our [getting started page](https://xiaoshihou514.github.io/ndpc/getting-started.html) for details about installation and basic usage.
## Tutorial
An online tutorial is available [here](https://xiaoshihou514.github.io/ndpc/tutorial.html), which covers the syntax (there isn't that many).
## Troubleshooting
Oh no! Ndpc found errors in your perfectly fine proof! The [syntax gotcha](https://xiaoshihou514.github.io/ndpc/syntax-gotchas.html) and the [list of supported rules](https://xiaoshihou514.github.io/ndpc/rules.html) may help.
You can ask questions or give points of improvement at [github discussions](https://github.com/xiaoshihou514/ndpc/discussions).
Report bug by submitting a [github issue](https://github.com/xiaoshihou514/ndpc/issues/new).
## Related projects
- [ndp.vim](https://github.com/xiaoshihou514/ndp.vim): (Neo)Vim support for ndp files
- [aristotle](https://github.com/xiaoshihou514/aristotle): GUI frontend for ndpc