Chenxi Fu

新しい4H-SiC検出器は、高放射線環境での性能が向上してるよ。

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