- Stars
- 14
- Forks
- 18
- + today
- +1
- Created
- 11mo
Ranking data as of October 7, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
Verifying curve25519-dalek using Lean It ranks #1748 on GitTiger, gaining +1 star on October 7, 2026 (UTC).
The project is written in Lean and has 18 forks. It was created 11mo ago.
Installation
git clone https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify.git
cd curve25519-dalek-lean-verify
# see README for setup