Aggregation_Algebras: removed Hoare logic (now in HOL-Hoare) and spanning trees (now in Relational_Minimum_Spanning_Trees)
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFPeecfc3c9b79e: Aggregation_Algebras: removed Hoare logic (now in HOL-Hoare) and spanning trees…
- Branches
- Unknown
- Tags