>>105
開発リソースが弱いから機能はCoqより貧弱やで
SSReflect相当の拡張もないはずやし