BetaRare
gustavo-depaula/stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
- Owner
- gustavo-depaula (personal account)
- Stars
- Stars: 1,712
- Forks
- Forks: 187
- Language
- Rocq Prover
- License
- MIT
- Created
- 2018
- Topics
- stalin-sorthacktoberfest
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- AbsInt/CompCertStars: 2,268Rocq ProverRC
- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- formal-land/rocq-of-rustStars: 1,194Rocq ProverBeta
- UniMath/UniMathStars: 1,022Rocq ProverBeta