HOL at East Coast Oracle Users Conference: Python Development with Autonomous Transaction Processing