https://github.com/nickburrell/bismuth
https://github.com/nickburrell/bismuth
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/nickburrell/bismuth
- Owner: NickBurrell
- License: mpl-2.0
- Created: 2022-05-08T05:06:00.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-05-09T09:27:36.000Z (about 4 years ago)
- Last Synced: 2025-01-02T08:23:32.959Z (over 1 year ago)
- Language: Dhall
- Size: 358 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Bismuth
Bismuth is a Visual Logic Design software targeting people either learning logic, or developing new forms of logic. It features a suite of tools useful for all logicians:
- A simple programming language, named "NAME TBD", with syntax very similar to traditional semantic definitions used in most logic books
- A visual graph editor, with multiple modes, to facilitate designing Kripke models for modal logic
- A LaTeX pretty-printer, which allows users to visualize their "NAME TBD" code as either a family of inference rules, or traditional "semantic entailment" rules
## Installation
### Test Suite
Insert text about running tests
## Usage
Insert blurb/screenshots of usage
## Authors
Nicholas Burrell <>
Danila Fedorin <>.
## Contributing
## License
[MPL-2.0](https://www.mozilla.org/media/MPL/2.0/index.815ca599c9df.txt)