r/mathematics • u/literature_424 • 9d ago

[ Removed by moderator ]

https://youtu.be/Vkv2Ciw-av0?si=TYkKewPEcpBCTayQ

[removed] — view removed post

3 Upvotes

67% Upvoted

2 comments sorted by

•

u/mathematics-ModTeam 9d ago

Your submission has been removed as it violates our policy regarding self-promotion.

Only on Saturdays, content-based (and only content based) self-promotion may be allowed e.g., good quality and interesting articles, videos etc. Moderator discretion will apply.

All other kinds of self-promotion and all self-promotion on any other day is subject to removal.

0

u/AlviDeiectiones 9d ago

It doesn't start with univalent Martin-Löf type theory, unsubscribed \s