Isabelle HOL中Robin Milner双图的形式化,
Formalization of Robin Milner s bigraphs in Isabelle HOL, (2019-08-21, Isabelle, 0KB, 下载0次)
openGamma的openSIMM(标准初始保证金模型)的正式验证重新实现,
formally verified reimplementation of openGamma s openSIMM (Standard Initial Margin Model), (2020-01-13, Isabelle, 0KB, 下载0次)