Hello ! I am Benjamin, a professor in CS and interested by formal proofs. That is having the computer manipulate and verify proofs. I am happy to join !

I'm curious. Would love to know more specifically... Automatic or interactive proving? Do you have preferences in domain or logical formalism?

Thank you ! Clearly, I am more on the interactive proving side, especially regarding my presence here. FoC was pointed out to me by my student, with whom we work on novel user interfaces for building proofs. I think he will soon be able to talk more about his work here.

I'll await eagerly.