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 5b15e1a9f3
fix: disable USize simprocs (#3488)
2024-02-24 02:37:39 +00:00
..
BuiltinSimprocs fix: disable USize simprocs (#3488) 2024-02-24 02:37:39 +00:00
BuiltinSimprocs.lean feat: simprocs for BitVec (#3407) 2024-02-19 14:01:00 -08:00
Main.lean chore: rename isNatLit => isRawNatLit 2024-02-23 15:16:12 -08:00
RegisterCommand.lean perf: add prelude to all Lean modules 2024-02-18 14:55:17 -08:00
Rewrite.lean perf: add prelude to all Lean modules 2024-02-18 14:55:17 -08:00
SimpAll.lean perf: add prelude to all Lean modules 2024-02-18 14:55:17 -08:00
SimpCongrTheorems.lean perf: add prelude to all Lean modules 2024-02-18 14:55:17 -08:00
Simproc.lean perf: add prelude to all Lean modules 2024-02-18 14:55:17 -08:00
SimpTheorems.lean feat: assume function application arguments occurring in local simp theorems have been annotated with no_index (#3406) 2024-02-19 12:43:34 -08:00
Types.lean chore: upstream norm_cast tactic (#3322) 2024-02-19 17:49:17 -08:00