← formalization
노트 갱신 2026-08-05 22:36
en/research/formalization
2026.08.05 · 6e53fd17 · +1
⋯
---
also called:
stuck at:
confidence:
## my lines
- Prose: explaining in sentences. (diary, book, paper)
⋯