Jape

Java-based proof assistant

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

Kategoriler: