interested in type theory, ai systems and decentralisation.

ID:1421995387582181381

calendar_today02-08-2021 00:45:07