세종시절 장영실, 이천과 더불어 이순지라는 인물이 천문학과 관련된 성과를 냈다고 하던데, 어떤 업적이 있었나요?

세종시절 장영실, 이천과 더불어 이순지라는 인물이 천문학과 관련된 성과를 냈다고 하던데요. 문관 출신인 이순지라는 사람은 어떤 업적을 보여줬나요?