(no subject)

Jul. 14th, 2024 07:33 pm
66george: (Default)
[personal profile] 66george
Трамп ушастый, фиг его застрелишь.
На меня сошло некоторое вдохновение, формализовал свои доказательства в Coq. Один висяк закрыт.
  • Add Memory
  • Share This Entry

Profile

66george: (Default)
66george

January 2026

S M T W T F S
     123
45678910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 3rd, 2026 07:00 pm
Powered by Dreamwidth Studios