Pulse · Lysxia/coq-simple-io · GitHub

May 26, 2025 – June 2, 2025

Overview

0 Active pull requests

1 Active issue
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues

There hasn’t been any commit activity on Lysxia/coq-simple-io in the last week.

Want to help out?

1 Issue closed by 1 person

Is it possible to implement functions like read, lseek, and write in the unix module?
#82 closed May 29, 2025