Chain 08/16/2026 (Sun) 05:05 Id: ff788e No.197805 del
(168.84 KB 850x1242 random_23.jpg)
>>197803
Have you ever used Coq or Lean?

>>197802