Forks
10
Open issues
24
Watchers
36
Size
48.3 MB
LeanGNU General Public License v3.0
categorycategory-theorycommon-lispidris2lisp
Created: Sep 19, 2022
Updated: Aug 24, 2026
Last push: Aug 24, 2026
⭐ Star AlbumentationsX on GitHub — 535+ stars and counting!
Star on GitHub