-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: ScriptRaccoon/CatDat
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Display contradiction proofs on the search results page
feature
#170
opened May 12, 2026 by
ScriptRaccoon
Owner
Loading…
Add category of compact Hausdorff spaces
data
#160
opened May 5, 2026 by
dschepler
Contributor
Loading…
Fix formulas causing a scroll instead of breaking
bug
feature
#145
opened May 1, 2026 by
MoinJulian
Loading…
Add the categories of normed and semi-normed vector spaces
data
#127
opened Apr 23, 2026 by
ScriptRaccoon
Owner
•
Draft
Add categories of operator algebras (WIP)
data
#95
opened Apr 16, 2026 by
ScriptRaccoon
Owner
•
Draft
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.