Baker Street is a natural deduction tool for macOS written in Swift. It is open source and you can view the code on Github.
This policy applies to all information collected by Baker Street.
Information we collect
No information is collected.