wittt - A what is type theory theory checker implementation

A what is type theory theory checker implementation

git repository hosting

summary refs log tree commit diff

Branch	Commit message	Author	Age
main	Init	tslil	8 days


Age	Commit message	Author
8 days	InitHEAD main	tslil

generated by cgit v1.2.3 (git 2.46.0) at 2026-08-28 17:20:45 +0000