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
Leonardo de Moura 3e5695e07e
feat: simprocs for Char (#3382)
2024-02-17 20:36:51 +00:00
..
BuiltinSimprocs feat: simprocs for Char (#3382) 2024-02-17 20:36:51 +00:00
BuiltinSimprocs.lean feat: simprocs for Char (#3382) 2024-02-17 20:36:51 +00:00
Main.lean fix: simp gets stuck on autoParam (#3315) 2024-02-17 13:42:19 +00:00
RegisterCommand.lean feat: simproc sets 2024-02-01 16:58:54 +11:00
Rewrite.lean feat: infoview.maxTraceChildren (#3370) 2024-02-17 14:04:46 +00:00
SimpAll.lean fix: simp gets stuck on autoParam (#3315) 2024-02-17 13:42:19 +00:00
SimpCongrTheorems.lean chore: getSimpCongrTheorems to CoreM 2024-02-01 16:58:54 +11:00
Simproc.lean fix: tolerate missing simp and simproc sets 2024-02-01 16:58:54 +11:00
SimpTheorems.lean chore: register seval simp set 2024-02-01 16:58:54 +11:00
Types.lean doc: Add a docstring to Simp.Result and its fields (#3319) 2024-02-13 13:57:24 +00:00