No need to wonder. Experience it for yourself. https://www.oracle.com/tools/tech... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		roca on Aug 7, 2019 \| parent \| context \| favorite \| on: Arend: Theorem Prover Based on Homotopy Type Theor... No need to wonder. Experience it for yourself. https://www.oracle.com/tools/technologies/netbeans-ide.html

folkrav on Aug 7, 2019 [–]

Worse, Jdeveloper.

https://www.oracle.com/database/technologies/developer-tools...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact