HomeIsabelle/Phabricator

generalized deterministic degeneralization

Description

generalized deterministic degeneralization

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Feb 9 2020, 1:14 AM
Parents
rAFP49e0ab592007: generalized deterministic acceptance test
Branches
Unknown
Tags
Unknown

Event Timeline