max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
10847 commits 1 branch 0 tags 5.3 GiB
Commit graph

3 commits

Author SHA1 Message Date
Leonardo de Moura
6a5f6a84cd feat(library/tactic/congruence/hinst_lemma): add heuristic instantiation lemmas 2016-12-25 20:11:58 -08:00
Leonardo de Moura
f777aafa4e feat(library/init/meta,library/tactic/congruence): add congruence closure lean API 2016-12-22 16:26:17 -08:00
Leonardo de Moura
d16a3df7a3 feat(library/tactic/congruence): initialization and pretty printing 2016-12-22 15:18:52 -08:00