- Notifications
You must be signed in to change notification settings - Fork6
Insights: INRIA/velus
Overview
- 0 Active pull requests
- 0Merged pull requests
- 0Open pull requests
- 0Closed issues
- 1New issue
There hasn’t been any commit activity on INRIA/velus in the last week.
Want to help out?
1 Issue opened by1 person
- Cannot check the coq proof after build the whole project
#2 opened
Mar 18, 2025