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/BuiltinSimprocs
History
Leonardo de Moura 559a18874c chore: simprocs for Eq
2024-02-17 17:51:24 -08:00
..
Char.lean chore: simprocs for Eq 2024-02-17 17:51:24 -08:00
Core.lean fix: simp gets stuck on autoParam (#3315) 2024-02-17 13:42:19 +00:00
Fin.lean chore: simprocs for Eq 2024-02-17 17:51:24 -08:00
Int.lean chore: simprocs for Eq 2024-02-17 17:51:24 -08:00
Nat.lean chore: simprocs for Eq 2024-02-17 17:51:24 -08:00
UInt.lean chore: simprocs for Eq 2024-02-17 17:51:24 -08:00
Util.lean refactor: add helper function evalPropStep (#3252) 2024-02-04 21:50:34 +00:00