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

feat: Add `Book` for bibliography

Open SnO2WMaN opened this issue 8 months ago • 3 comments

related #436

SnO2WMaN avatar Jun 19 '25 23:06 SnO2WMaN

Thanks!

david-christiansen avatar Jun 20 '25 04:06 david-christiansen

Sorry for lating to reply for reviewing. I'll fix

SnO2WMaN avatar Jul 06 '25 16:07 SnO2WMaN

I can't spare time to fix this issue so I closed this PR.

SnO2WMaN avatar Oct 08 '25 03:10 SnO2WMaN