Clojurians Log v2

I agree with that. I was just curious where it sits. I can definitely see how if you can verify then it is good to be able to formally verify. Especially in cases where it really matters.

@hugod has implemented this on top of Lean4 for instance https://github.com/hugoduncan/pneuma.