| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Remove the docs/proposals directory (#6313) | Anders Leino | 2025-02-10 |
| * | Swap the term StdLib with Core-Module or Standard-Module in documents (#5414) | Jay Kwak | 2024-10-25 |
| * | Update 010-new-diff-type-system.md | Yong He | 2024-09-05 |
| * | Proposal: A simpler and more flexible `IDifferentiable` system (#4865) | Sai Praveen Bangaru | 2024-08-20 |
