Just package the proof as a library and put it in some source code repository like github.