3 ms·
Just to make it obvious: Paper is https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf ; code
by mncharity 6y ago
Just to make it obvious:
Paper is https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf ; code is https://github.com/HarvardPL/formulog https://github.com/HarvardPL/formulog .