| .. |
|
Classes
|
refactor: module-ize Std.Classes (#9079)
|
2025-06-30 09:45:24 +00:00 |
|
Data
|
feat: lemmas about toList, toListRev and toArray for slices (#9049)
|
2025-06-28 08:29:09 +00:00 |
|
Do
|
fix: Use fullApproxDefEq in mspec to fix a bug reported by Rish (#9041)
|
2025-06-27 14:31:39 +00:00 |
|
Internal
|
feat: add system information functions to the standard library (#8109)
|
2025-06-27 16:31:34 +00:00 |
|
Net
|
feat: add network interfaces (#7578)
|
2025-03-24 17:57:05 +00:00 |
|
Sat
|
chore: remove unused simp args (#8905)
|
2025-06-20 22:34:30 +00:00 |
|
Sync
|
chore: fix spelling mistakes (#8324)
|
2025-05-14 06:52:16 +00:00 |
|
Tactic
|
fix: More fixes for Std.Do accumulated while merging tests (#9038)
|
2025-06-27 13:10:43 +00:00 |
|
Time
|
chore: remove unused simp args (#8905)
|
2025-06-20 22:34:30 +00:00 |
|
Classes.lean
|
refactor: module-ize Std.Classes (#9079)
|
2025-06-30 09:45:24 +00:00 |
|
Data.lean
|
feat: extensional tree maps (#8721)
|
2025-06-26 13:13:45 +00:00 |
|
Do.lean
|
feat: Hoare logic for monadic programs and verification condition generation (#8995)
|
2025-06-26 15:49:56 +00:00 |
|
Internal.lean
|
feat: implement basic async IO with timers (#6505)
|
2025-01-13 18:11:04 +00:00 |
|
Net.lean
|
feat: Std.Net.Addr (#6563)
|
2025-01-09 09:33:03 +00:00 |
|
Sat.lean
|
feat: Std.Sat.AIG (#4953)
|
2024-08-12 14:58:38 +00:00 |
|
Sync.lean
|
feat: add Std.SharedMutex (#7770)
|
2025-04-03 08:30:54 +00:00 |
|
Tactic.lean
|
feat: Upstream MPL.SPred.* from mpl (#8928)
|
2025-06-26 11:15:11 +00:00 |
|
Time.lean
|
chore: fix spelling mistakes (#7328)
|
2025-04-07 01:15:48 +00:00 |
