aman-goel

↗ HN profile [ 15.7 ms ] full profile

Karma: 1
Created: October 28, 2021 (4y ago)
Submissions: 0

Here is a link to a YouTube video on this work- https://youtu.be/nPwlj6w6EXU The tool IC3PO is open source on GitHub- https://github.com/aman-goel/ic3po

4y ago · view thread · ↗