<https www researchgate net publication 327549510 Design Aut open-source-silicon.dev #adiabatonauts

Join Slack Communities

<https://www.researchgate.net/publication/32754951...

# adiabatonauts

a

Art Scott

04/06/2021, 3:47 AM

https://www.researchgate.net/publication/327549510_Design_Automation_for_Adiabatic_Circuits https://www.researchgate.net/publication/346316378_A_formalisation_of_LEGv8_in_Agda?isFromSharing=1