Jape

Java-based proof assistant

en-GB/ˈd͡ʒeɪp/
en-US/d͡ʒeɪp/

カテゴリ：