wittt, branch main A what is type theory theory checker implementation https://git.l-3.space/wittt/atom?h=main 2026-08-20T19:30:40Z Init 2026-08-20T19:30:40Z tslil tslil@posteo.de 2026-08-20T17:43:17Z urn:sha1:e0ba7052cedc9d5d98bf2762ffec03417e7bf901