(no subject)

[66george]

А это Coq, программа не для дальтоников (хотя цвета можно настраивать). Lean ещё явно не доделан, с документацией беда, поэтому пишу на Coq.