janus-formalization. My (planned) graduate project on invertible computation.

github.com/jlouis/janus-formalization

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.