Skip to content

chore: prune isabelle.db support

Joshua Balthasar Kobschätzki requested to merge cobalt.rocks/prune-db into main

Resolves ism#53 (closed)

The diff is chonky. modernc was a big dependency.

Merge request reports