Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update doc comments in Lemmas | Tom Smeding | 27 hours |
* | Merge both Lemmas modules | Mikolaj Konarski | 37 hours |
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |