Conversation

I hear from my grapevine that you're interested in Lean and Cogent... we should talk :)

Hah! Is your grapevine literally the microphone on my cell phone or something? (Yes, we probably should!)

Nah, Lean slack channel ;)

So what is @cmrx64's opinion of Lean, may I ask?

I like it a lot. Reflective systems are amazing. Relatively pleasant to use compared to Coq. The automation is getting isabelle-like.

Replying to

and

Also pretty interested because my new job might require some formal methods stuff at some stage, and it would be fun to try out Lean for it!

Replying to

and

Awesomeness! Definitely hmu in irc if you want to talk shop re formal methods :)