grep -l "#proofs" posts/*

#proofs

1 post · all posts