{"id":18559347,"url":"https://github.com/xiaoshihou514/ndpc","last_synced_at":"2025-04-28T11:28:16.806Z","repository":{"id":246047767,"uuid":"819914694","full_name":"xiaoshihou514/ndpc","owner":"xiaoshihou514","description":"Natural deduction proof compiler","archived":false,"fork":false,"pushed_at":"2025-02-19T16:32:28.000Z","size":232,"stargazers_count":7,"open_issues_count":3,"forks_count":0,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-04-21T08:58:20.514Z","etag":null,"topics":["logic","proof"],"latest_commit_sha":null,"homepage":"https://xiaoshihou514.github.io/ndpc","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/xiaoshihou514.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-06-25T12:34:16.000Z","updated_at":"2025-02-19T16:32:32.000Z","dependencies_parsed_at":null,"dependency_job_id":"a405b5cd-9d82-4d0a-9595-31117a34c4a4","html_url":"https://github.com/xiaoshihou514/ndpc","commit_stats":null,"previous_names":["xiaoshihou514/folc","xiaoshihou514/ndpc"],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndpc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndpc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndpc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/xiaoshihou514%2Fndpc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/xiaoshihou514","download_url":"https://codeload.github.com/xiaoshihou514/ndpc/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251304091,"owners_count":21567809,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["logic","proof"],"created_at":"2024-11-06T21:42:35.195Z","updated_at":"2025-04-28T11:28:16.788Z","avatar_url":"https://github.com/xiaoshihou514.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cdiv align=\"center\"\u003e\n\n# Ndpc\n\nndpc is the compiler for the natural deduction proof markup language.\n\n[Getting started](https://xiaoshihou514.github.io/ndpc/getting-started.html) •\n[Tutorial](https://xiaoshihou514.github.io/ndpc/tutorial.html) •\n[Cheatsheet](https://xiaoshihou514.github.io/ndpc/rules.html)\n\n\u003c/div\u003e\n\n## What is ndpc?\n\nNdpc 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.\n\nCompared to existing similar tools, ndpc is easier to use and looks much more similar to hand written proofs.\n\nClick to watch video demo:\n\n[![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)\n\n## Getting started\n\nGo to our [getting started page](https://xiaoshihou514.github.io/ndpc/getting-started.html) for details about installation and basic usage.\n\n## Tutorial\n\nAn online tutorial is available [here](https://xiaoshihou514.github.io/ndpc/tutorial.html), which covers the syntax (there isn't that many).\n\n## Troubleshooting\n\nOh 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.\n\nYou can ask questions or give points of improvement at [github discussions](https://github.com/xiaoshihou514/ndpc/discussions).\n\nReport bug by submitting a [github issue](https://github.com/xiaoshihou514/ndpc/issues/new).\n\n## Related projects\n\n- [ndp.vim](https://github.com/xiaoshihou514/ndp.vim): (Neo)Vim support for ndp files\n- [aristotle](https://github.com/xiaoshihou514/aristotle): GUI frontend for ndpc\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fxiaoshihou514%2Fndpc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fxiaoshihou514%2Fndpc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fxiaoshihou514%2Fndpc/lists"}