search

scallop-lang / scallop

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229
https://www.scallop-lang.org
MIT License
182 stars 9 forks source link

Hyperlink of "Provenance Semiring" in Readme is wrong? #16

Closed yangyang-pro closed 6 months ago

yangyang-pro commented 6 months ago

The hyperlink just points to https://repository.upenn.edu/home. Can you give the correct reference?

Thanks!

Liby99 commented 6 months ago

Fixed! Thanks for bringing this up!