On Small-depth Frege Proofs for PHP.

Published in: CoRR (2024)

Keyphrases

small number
open source
web applications
computer vision
website
formal proof
database
data sets
database applications
mysql database