Comment by pas

1 year ago

The proof can be done on the whole code (in memory, incremental, etc), and then the modules emitted as dynamically loadable objects.

0 comments