Improve consistency of type-variables in WOOT_Strong_Eventual_Consistency.
+ Remove obsolete e-mail from notification mailing list.
Description
Description
Details
Details
- Provenance
Emin Karayel <me@eminkarayel.de> Authored on - Parents
- rAFPbc4f44e86dae: Improve proofs for Interpolation_Polynomials_HOL_Algebra.
- Branches
- Unknown
- Tags