Lukas' Notes

Theoretical Computer Science

1 min read

computer-science

Backlinks

Initial-segment Notation
Proof Theory

Created with Quartz v4.5.2 © 2026

GitHub