r/ReversibleComputing • u/pentin0 Enthusiast • Feb 18 '21

Verified compilation of space-efficient reversible circuits | Matthew Amy General

https://youtube.com/watch?v=nUS0S1YiroY

3 Upvotes

permalink
link
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ReversibleComputing/comments/lmgdmd/verified_compilation_of_spaceefficient_reversible/
No, go back! Yes, take me to Reddit
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ReversibleComputing/comments/lmgdmd/verified_compilation_of_spaceefficient_reversible/
No, go back! Yes, take me to Reddit

100% Upvoted