Paradox

automated theorem proving system

en-GB/ˈpæɹədɒks/
en-US/ˈpæɹəˌdɑks/

カテゴリ：

free softwaresoftware