开源软件
Isabelle 定理证明器是开源软件，其源码在 BSD license 下授权发布。