Alejandro Cabeza Romero 0743cc516d
Simplify prover makefile.
2025-09-01 16:17:02 +02:00
..
2025-09-01 16:17:02 +02:00