/ReVerC

Verified compilation of space-efficient reversible circuits

Primary LanguageF*MIT LicenseMIT

Watchers