Calcolemus
No summary available for this package.
Latest version published about 1 year ago
Version | Released | Deprecated |
---|---|---|
1.0.5 | Oct 26, 2023 | Nov 5, 2023 12 months ago |
Last updated on 19 January-2024, at 02:49 (UTC).
Got EOL?
Xeol can give you visibility into end-of-life (EOL) and deprecated packages across all your repositories. Try it out!
Description
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
FAQs
> Is Calcolemus Deprecated?
It appears there are some versions of Calcolemus that are deprecated.
> What is the deprecation date for the latest version of Calcolemus?
The latest version of Calcolemus was released on Oct 26, 2023, and it is now deprecated.
> What does deprecated mean?
Deprecated means that the package was either marked as deprecated on the package registry, or that the source code repository for the package was archived.