Fixed proofs indicated by Isabelle/Jenkins
Description
Description
Details
Details
- Provenance
Jonathan Julian Huerta y Munive <jonjulian23@gmail.com> Authored on - Parents
- rAFPa9a967ae13a7: Added components based on Kleene algebras with tests. These implement…
- Branches
- Unknown
- Tags