Lukas' Notes

Principia Mathematica

May 25, 20261 min read

history-of-ai type-theory

Backlinks

Dartmouth Workshop

Created with Quartz v4.5.2 © 2026

GitHub