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