Tobias Grosser 9f8ce47699 feat: add BitVec.[udiv|umod]_[zero|one|self] theorems (#5712) ... Co-authored-by: Siddharth <siddu.druid@gmail.com>		2024-10-14 20:27:05 +00:00
..
Data	feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw (#5590)	2024-10-03 06:26:21 +00:00
Internal	fix: ilean loading performance (#4900)	2024-08-29 11:51:48 +00:00
Sat	chore: cleanup unused variables in bv_decide (#5578)	2024-10-02 01:48:43 +00:00
Tactic	feat: add BitVec.[udiv|umod]_[zero|one|self] theorems (#5712)	2024-10-14 20:27:05 +00:00
Data.lean	fix: unorphan modules in Std.Data (#4679)	2024-07-08 07:57:56 +00:00
Internal.lean	chore: move Lean.Data.Parsec to Std.Internal.Parsec (#5115)	2024-08-21 15:26:17 +00:00
Sat.lean	feat: Std.Sat.AIG (#4953)	2024-08-12 14:58:38 +00:00
Tactic.lean	chore: fix spelling mistakes in src/Std/ (#5431)	2024-09-23 20:39:34 +00:00