Show HN: A Mac native app that helps you reason through math/CS pdf textbooks