Skip to content

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.

Sign up for GitHub

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

16 Open 15 Closed
16 Open 15 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Prove that the category of presheaves is cocomplete help wanted
#74 opened Nov 11, 2024 by valis
Bug in mcases bug
#73 opened Nov 5, 2024 by valis
@valis
Not intuitive error message of mcases tactic. meta usability-problem
#71 opened Sep 3, 2024 by sxhya
@valis @part-xx
Make composition operator o infix
#61 opened Feb 23, 2024 by s3midetnov
Improve instance search in equation meta
#53 opened Jul 16, 2022 by valis
Prove that a weakly regular locale is weakly Hausdorff help wanted
#49 opened May 4, 2022 by valis
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
Show that the pullback of regular monomorphisms is their meet in the preorder of regular subojects help wanted
#45 opened May 4, 2022 by valis
Prove that regular monomorphisms are stable under pullbacks help wanted
#44 opened May 4, 2022 by valis
1
Show that the forgetful functor from rings to sets creates limits help wanted
#42 opened May 4, 2022 by valis
Extend run meta to support trailing lambdas
#39 opened Mar 19, 2022 by TurtlePU
1
Generalize the definition of Subset
#29 opened Oct 14, 2020 by tonyxty
Compute the context in the equation meta only once enhancement
#26 opened Oct 5, 2020 by valis
Naming convention
#14 opened Feb 28, 2020 by ice1000
ProTip! Follow long discussions with comments:>50.