max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Lean/Meta/Tactic/Simp
History
Mario Carneiro 857e452281 feat: optional doc comment for register_simp_attr
2022-10-13 18:52:56 -07:00
..
Main.lean feat: add implementation-detail hypotheses 2022-10-11 17:24:35 -07:00
Rewrite.lean chore: move Std.* data structures to Lean.* 2022-09-26 05:46:04 -07:00
SimpAll.lean feat: sort simp lemmas by application order 2022-09-25 06:40:56 -07:00
SimpCongrTheorems.lean feat: automatic extension names 2022-10-06 17:19:30 -07:00
SimpTheorems.lean feat: optional doc comment for register_simp_attr 2022-10-13 18:52:56 -07:00
Types.lean chore: move Std.* data structures to Lean.* 2022-09-26 05:46:04 -07:00