Posts

A surprising story of how a computer was taught to prove some theorems in finitely complete categories