2 commits

Author	SHA1	Message	Date
Leonardo de Moura	0bda39c8ac	feat(frontends/lean): check for noncomputability when moving theorems from theorem_queue to environment	2015-07-29 13:01:07 -07:00
Leonardo de Moura	5f4576a7f7	test(tests/lean): add test for '[congr]' attribute validation	2015-07-23 18:52:59 -07:00