Skip to content

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107) #236

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107)

proof(SafeArchive): DISCHARGE max{CompressionRatio,TotalSize} via Refl (proven#90, #107) #236