Duplicate repo to developer https://github.com/Kuerschten/natural-deduction.git