demo-static-konstant

Standalone acceptance static proof on konstant-server.