Closed jspenger closed 1 year ago
The Portals playground should be documented on the Portals demo website. It would be sufficient to give a short description of what it is, how it works, and provide the corresponding links.
Fixed in the latest commit on the https://github.com/portals-project/vldb2023demo repo.
The Portals playground should be documented on the Portals demo website. It would be sufficient to give a short description of what it is, how it works, and provide the corresponding links.