My summer project for my comp sci MSc was an open source natural deduction helper tool for the Mac, called Baker Street. I let it lapse simply because I didn't have time to look after it, but now it's available for download once more: https://apps.apple.com/gb/app/baker-street/id1528304157

I've been working with Claude to bring some new features, like printing a proof - unsuccessfully! https://github.com/OolonColoophid/bakerStreet/issues/9