Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
368 commits behind the upstream repository.
-
- add mathcomp-zify to esy - Make esy work by having all the mathcomp packages install in the same place.
- add mathcomp-zify to esy - Make esy work by having all the mathcomp packages install in the same place.
This project manages its dependencies using npm.
Learn more
package.json 2.22 KiB