A distributed build component of Isabelle
This component was used on a cluster running Slurm on the LRZ Compute Cloud.
-
Notifications
You must be signed in to change notification settings - Fork 0
Mokhtar2k/Isabelle-distributed-build
About
A distributed build component of Isabelle
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published