leansat icon indicating copy to clipboard operation
leansat copied to clipboard
verified publisher icon leanprover

feat: try caching the atomsFn

Open kim-em opened this issue 2 years ago • 0 comments

kim-em avatar Feb 28 '24 13:02 kim-em