Origin-proofs is a project mainly written in ..., it's free.
formal exploration of our origins
404: Not Found