search

HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming
https://harvardpl.github.io/formulog/
Apache License 2.0
155 stars 10 forks source link

Nicer Documentation #89

Closed aaronbembenek closed 1 month ago

aaronbembenek commented 1 month ago

Used the "Just the Docs" Jekyll theme to make the documentation nicer looking and easier to navigate.