JetBrains/arend-lib
View on GitHub- Stars
- 85
- Forks
- 23
- Open beginner issues
- 0
- Indexed issues
- 17
- Dominant language
- Java
- License
- Apache-2.0
- Last GitHub push
- Nov 11, 2024
- Latest indexed
- Sep 18, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- help wanted
- PR merge metrics
- No merged PRs in 30d
-
Naming convention Open
JetBrains/arend-lib#14 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
JetBrains/arend-lib#26 · 0 comments · 0 reactions · 0 assignees ·
-
JetBrains/arend-lib#29 · 1 comment · 0 reactions · 0 assignees ·
-
JetBrains/arend-lib#39 · 1 comment · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#42 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#44 · 0 comments · 0 reactions · 0 assignees ·
-
Show that the pullback of regular monomorphisms is their meet in the preorder of regular subojects Openhelp wanted
JetBrains/arend-lib#45 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#46 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#47 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#48 · 0 comments · 0 reactions · 0 assignees ·
-
help wanted
JetBrains/arend-lib#49 · 0 comments · 0 reactions · 0 assignees ·
-
meta
JetBrains/arend-lib#53 · 0 comments · 0 reactions · 0 assignees ·
-
JetBrains/arend-lib#61 · 0 comments · 1 reaction · 0 assignees ·
-
meta usability-problem
JetBrains/arend-lib#71 · 0 comments · 0 reactions · 2 assignees ·
-
Bug in mcases Openbug
JetBrains/arend-lib#73 · 0 comments · 0 reactions · 1 assignee ·
-
help wanted
JetBrains/arend-lib#74 · 0 comments · 0 reactions · 0 assignees ·
-
JetBrains/arend-lib#77 · 0 comments · 0 reactions · 0 assignees ·