Skip to content
Back to pull request #416

Fix minor issues and add definitions to the standard library #1697

Sign in to view logs

Fix minor issues and add definitions to the standard library

Fix minor issues and add definitions to the standard library #1697

lean

lean
succeeded Jan 14, 2025 in 13m 24s