Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck
Authors | |||||||
---|---|---|---|---|---|---|---|
Documentation | |||||||
Tags | |||||||
License | |||||||
Last updated | Thursday, April 27th, 2023 5:48:08pm (UTC) | ||||||
Ring | 1 | ||||||
Conflicts | None | ||||||
Dependencies | |||||||
Most recent build results |
| ||||||
Version Exceptions |
| ||||||
Last checked | Sunday, October 13th, 2024 12:46:36pm (UTC) | ||||||
Last edited | Tuesday, December 13th, 2022 1:36:48am (UTC) | ||||||
Date added | Monday, December 12th, 2022 6:48:02pm (UTC) | ||||||
Modules |
|