Jape

Java-based proof assistant

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

分类：