https://github.com/xiaoshihou514/ndpc

Natural deduction proof compiler
https://github.com/xiaoshihou514/ndpc

logic proof

Last synced: 10 days 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 (6 months ago)
• Default Branch: main
• Last Pushed: 2024-10-01T09:50:18.000Z (3 months ago)
• Last Synced: 2024-12-19T03:48:31.905Z (17 days ago)
• Topics: logic, proof
• Language: Scala
• Homepage: https://xiaoshihou514.github.io/ndpc
• Size: 88.9 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0
• 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:

[![Watch the demo](https://github.com/user-attachments/assets/154131b4-6535-4b51-a063-edaa01277080)](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.

## 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