(no subject)

[66george]

Трамп ушастый, фиг его застрелишь.
На меня сошло некоторое вдохновение, формализовал свои доказательства в Coq. Один висяк закрыт.