0111それでも動く名無し垢版 | 大砲2023/04/03(月) 17:37:18.86ID:973/WW1A0 >>105 開発リソースが弱いから機能はCoqより貧弱やで SSReflect相当の拡張もないはずやし