Comment Comment by zaxioms It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant. parent zaxioms 11 months ago
