Dongchen Jiang

新しい型システムがIsabelle/HOLの仕様からのC++生成を強化して、精度を向上させた。