-
Notifications
You must be signed in to change notification settings - Fork 5
Pull requests: ToposInstitute/CatColab
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Rewrite web server in Rust
backend
Backend, including web server and database
#211
opened Oct 6, 2024 by
epatters
Loading…
is_monic for free simple model morphisms, initializing hom search, monic search constraint
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#204
opened Oct 2, 2024 by
kris-brown
Loading…
Dev docs comparing (bi)modules over models of double theories
documentation
Improvements or additions to documentation
#175
opened Sep 21, 2024 by
KevinDCarlson
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.