openGamma的openSIMM（标准初始保证金模型）的正式验证重新实现，formally verified reimplementation of openGamma s openSIMM (Standard Initial Margin Model), (2020-01-13, Isabelle, 0KB, 下载0次)