Пожалуйста, обратитесь к lean certificate

Чёрно-белая иллюстрация в стиле мема: программист в очках и с серьёзным выражением лица сидит за компьютером. На мониторе и на заднем плане открыты файлы Lean с многочисленными сообщениями об ошибках «noncomputable def» и другими строками кода. В речевом пузыре персонаж вежливо говорит: «If you would please consult the lean certificate» — «Если вы не могли бы обратиться к сертификату Lean». Мем подходит для ситуаций, когда вместо объяснений собеседника отправляют разбираться с формальным доказательством или документацией.

If you would please consult the lean certificate.