Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Doneport-to-plugins-0.8.1 | Mikolaj Konarski | 4 days |
* | WIP | Mikolaj Konarski | 6 days |
* | Update doc comments in Lemmas | Tom Smeding | 2025-05-17 |
* | Merge both Lemmas modules | Mikolaj Konarski | 2025-05-17 |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |