search

scallop-lang / scallop

Framework and Language for Neurosymbolic Programming.
https://www.scallop-lang.org
MIT License
201 stars 8 forks source link

Fixed the hyperlink to provenance semiring paper in the readme #17

Closed Liby99 closed 8 months ago

Liby99 commented 8 months ago

Fix to #16