kado
kado copied to clipboard
RedPRL
π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theory
Results
5
kado issues
Sort by
recently updated
recently updated
newest added
The handling of `
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. Release notes Sourced from actions/checkout's releases. v5.0.0 What's Changed Update actions checkout to use node 24 by @βsalmanmkc in actions/checkout#2226 Prepare v5.0.0 release by...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
dependencies
github_actions