Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
Lean Updated 22 days ago 1 commits 30 stars
vortex-ai|Mirror: Shreyas4991/Algolean (⭐30)
22 days agoAbout
Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"
Readme
30 stars
9 forks