BetaRare
JetBrains/Arend
The Arend Proof Assistant
- Owner
- JetBrains (organization)
- Stars
- Stars: 760
- Forks
- Forks: 32
- Language
- Java
- License
- Apache-2.0
- Created
- 2015
- Topics
- arend
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by JetBrains
All 136 repos by JetBrains- JetBrains/kotlinStars: 53,536KotlinLTS
- JetBrains/intellij-communityStars: 20,703JavaLTS
- JetBrains/compose-multiplatformStars: 19,469KotlinStable
- JetBrains/JetBrainsMonoStars: 13,143ShellStable
- JetBrains/ideavimStars: 10,284KotlinStable
- JetBrains/ExposedStars: 9,303KotlinStable
Nearby in Java
All Java repos- bttv-android/bttvStars: 760JavaBeta
- isevenluo/github-hostsStars: 760JavaBeta
- Sinytra/ConnectorStars: 760JavaBeta
- openwms/org.openwmsStars: 760JavaBeta
- shevek/jarjarStars: 760JavaBeta
- vaadin/flowStars: 760JavaBeta