Issues: JetBrains/arend-lib
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Finish the construction of the structure of a field on reals
help wanted
#54
opened Nov 6, 2022 by
valis
3 tasks
Prove that open maps of locales are closed under composition
help wanted
#48
opened May 4, 2022 by
valis
Prove that strongly dense maps are closed under pullbacks along open maps
help wanted
#47
opened May 4, 2022 by
valis
Prove that open maps of locales are closed under pullbacks
help wanted
#46
opened May 4, 2022 by
valis
Prove that regular monomorphisms are stable under pullbacks
help wanted
#44
opened May 4, 2022 by
valis
Show that the forgetful functor from rings to sets creates limits
help wanted
#42
opened May 4, 2022 by
valis
ProTip!
Updated in the last three days: updated:>2024-05-02.