gds 11.02.2013 18:03 umodni383E33C9

"построение термов тактиками в coq — безопасно" [ http://gds.livejournal.com/66182.html ]

coq, cs, it
Recommended by:

@komar: не читал еще на самом деле, но рекомендую, так как совесть мучает насчет того, что весь псач в говно скатил

and @4da
Do you really want to delete ?