<https gitlab com joaopizani paper gate refinement blob 23f2 open-source-silicon.dev #general

Join Slack Communities

<https://gitlab.com/joaopizani/paper-gate-refineme...

a

Art Scott

02/01/2023, 3:15 PM

https://gitlab.com/joaopizani/paper-gate-refinement/-/blob/23f2b9dacafe10f0db085a874cfc13d60703f924/main.pdf Agda DSL