⭐ Star AlbumentationsX on GitHub — 535+ stars and counting!

Star on GitHub
anoma

juvix-lean

anoma/juvix-lean

Juvix Lean library for compiler run verification

7stars
View on GitHub
Forks
1
Open issues
0
Watchers
7
Size
0.0 MB
LeanMIT License
Created: Dec 12, 2024
Updated: Jul 13, 2026
Last push: Jul 22, 2025