Leonardo de Moura 2a67a49f31 chore: simp_arith has been deprecated (#7043) ... This PR deprecates the tactics `simp_arith`, `simp_arith!`, `simp_all_arith` and `simp_all_arith!`. Users can just use the `+arith` option.		2025-02-12 03:55:45 +00:00
..
Certora2022
compiler	feat: support Lake for building Lean core oleans (#3886)	2024-06-13 16:18:24 +00:00
ICERM2022	feat: replace List.lt with List.Lex (#6379)	2024-12-15 08:22:39 +00:00
NFM2022
bintree.lean	chore: simp_arith has been deprecated (#7043)	2025-02-12 03:55:45 +00:00
bintree.lean.md
deBruijn.lean	chore: fix spelling mistakes in examples (doc/examples/) (#5434)	2024-09-23 21:44:55 +00:00
deBruijn.lean.md
interp.lean	feat: upstream definition of Vector from Batteries (#6197)	2024-11-24 23:01:32 +00:00
interp.lean.md
palindromes.lean
palindromes.lean.md
phoas.lean	chore: fix spelling mistakes in examples (doc/examples/) (#5434)	2024-09-23 21:44:55 +00:00
phoas.lean.md
tc.lean	fix: remove obsolete sentence in doc-string (#6185)	2024-11-23 07:56:31 +00:00
tc.lean.md
test_single.sh	test: do not filter output for non-diff tests (#6308)	2024-12-04 17:49:35 +00:00
widgets.lean	chore: fix spelling mistakes in examples (doc/examples/) (#5434)	2024-09-23 21:44:55 +00:00
widgets.lean.md