Buy Me a Coffee at ko-fi.com

Jape

Java-based proof assistant

Pronunciation
/ʤeɪp/
/ʤeɪp/
Categories