Autoproof fake timestamps example

This repo was created 2023-09-17, at the same time - look at commit's date