merge
Description
Description
Details
Details
- Provenance
Sophie Tourret <stourret@mpi-inf.mpg.de> Authored on - Parents
- rAFP9e9d54326ae0: saturation framework: correction of static_to_dynamic lemma statement
rAFP2fb39c7dd7ff: merge from afp-2020 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes