Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
JetBrains

Arend

JetBrains/Arend

The Arend Proof Assistant

740stars
HomepageView on GitHub
Forks
31
Open issues
52
Watchers
740
Size
19.2 MB
JavaApache License 2.0
arend
Created: Feb 16, 2015
Updated: Feb 28, 2026
Last push: Feb 25, 2025