I hear from my grapevine that you're interested in Lean and Cogent... we should talk :)
Conversation
Hah! Is your grapevine literally the microphone on my cell phone or something?
(Yes, we probably should!)
2
Nah, Lean slack channel ;)
1
So what is @cmrx64's opinion of Lean, may I ask?
1
I like it a lot. Reflective systems are amazing. Relatively pleasant to use compared to Coq. The automation is getting isabelle-like.
2
'Reflective systems' in contrast to what, and how do I look this up?
In contrast to stock coq, or Isabelle, or any fol prover.. lemme get a link
1