노트 갱신 2026-08-05 22:36

 

also called:

stuck at:

 

## my lines

- Rules, axioms, symbols — computing with the rules in your head…