Baker Street 4+
A Natural Deduction Tool
Ian Hocking
-
- USD 0.99
Screenshots
Description
Baker Street is a free-form tool that helps you produce natural deduction proofs
in propositional logic. Use Baker Street to enter your proof, check for errors, clarify
relationships between proof lines, preview, and export your proof in several formats.
Type your proof in a free-form manner. Baker Street provides automatic line
numbering and feedback to help you see where you've gone wrong.
Baker Street is great for creating new proofs, inspecting sample proofs, and
exporting them to a variety of formats, all within a native macOS experience.
Baker Street was developed by Ian Hocking under the supervision of Dr Olaf Chitil at the
School of Computing, University of Kent, UK, as an MSc Computer Science summer project.
Key features:
- Proof validation
- Syntax highlighting
- Tailored error messages designed to get you on track
- Add text comments to your proof
- One-touch insertion of logical operators and inference rule justifications
- Preview your formatted proof while typing in a lightweight markup language
- Export or copy your preview to LaTeX, Markdown or HTML
- A plain text file format - if Baker Street goes away, your proofs won't
- Zoom support for all windows
- Dark mode support
- Example proofs for all inference rules (e.g. AND Introduction)
- Further help on:
- Inference rules (in overview and in detail)
- Key term definitions (e.g. theorem)
What’s New
Version 1.0.4
- Fix toolbar item toggle behaviour to show activity
- Add help menu items (manual, email developer)
- Update AppStore screenshots
App Privacy
The developer, Ian Hocking, indicated that the app’s privacy practices may include handling of data as described below. For more information, see the developer’s privacy policy.
Data Not Collected
The developer does not collect any data from this app.
Privacy practices may vary based on, for example, the features you use or your age. Learn More
Information
- Provider
- Ian Hocking
- Size
- 51 MB
- Category
- Education
- Compatibility
-
- Mac
- Requires macOS 10.12 or later.
- Languages
-
English
- Age Rating
- 4+
- Copyright
- © 2020 Ian Hocking
- Price
- USD 0.99
Supports
-
Family Sharing
Up to six family members can use this app with Family Sharing enabled.