Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning