search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Prove the universal property of FSMG #38

Open vikraman opened 3 years ago

vikraman commented 3 years ago

Partially done in FSMG.Properties