vandaag besteed aan het versterken van agenc-prover - we zijn de bewijssemantiek aan het verbeteren, /prove aan het vergrendelen en de docker-leveringsketen aan het opschonen. Kleine repo, echt beveiligingswerk, alles in het openbaar ://