EmilieGrienenberger
Results
1
issues of
EmilieGrienenberger
Generated object files become exceedingly heavy and long to load when working on a large library with many interdependencies and proof sharing. Ex : in the translation of the HOL...
behaviour improvement