Articles from www.philipzucker.com

Articles from www.philipzucker.com

SQL, Homomorphisms and Constraint Satisfaction Problems (www.philipzucker.com)
2 days ago

Don't Implement Unification by Recursion (www.philipzucker.com)
25 days ago

State of Knuckledragger, a Semi-Automated Python Proof Assistant (www.philipzucker.com)
2024-8-6 Python

Simple proofs with Z3Py (www.philipzucker.com)
2024-6-16

Justified SMT 1: The Minikanren inside Z3 (www.philipzucker.com)
2024-6-14

Hashing Modulo Theories (www.philipzucker.com)
2024-5-19

The C bounded model checker: criminally underused (www.philipzucker.com)
2024-2-1

Datalite: A Simple Datalog Built Around SQLite in Python (www.philipzucker.com)
2023-9-12 Python SQLite

Previous Page Next Page