HomeIsabelle/Phabricator

merge from afp-2020

Description

merge from afp-2020

Details

Provenance
kleingAuthored on
Parents
rAFP171e9088949c: point download link to Heptapod
rAFP831c1c4ea702: updated benchmarks
Branches
Unknown
Tags
Unknown

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.