Meven Lennon-Bertrand
Maître de conférence at ENS Rennes.
I try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.
Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!
web page: https://www.meven.ac/
proof assistants stack exchange: https://proofassistants.stackexchange.com/users/367/meven-lennon-bertrand
github: https://github.com/MevenBertrand/
pronouns: he/they
I try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.
Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!
web page: https://www.meven.ac/
proof assistants stack exchange: https://proofassistants.stackexchange.com/users/367/meven-lennon-bertrand
github: https://github.com/MevenBertrand/
pronouns: he/they
Public Key
npub1qeczzz9pnlfc6msm2gd5mu3h6c7x6j48m08gdmmpdmnjzwaa27fs4yysp5NIP-05 Address
mevenlennonbertrand_at_lipn.info@momostr.pinkProfile Code
nprofile1qqsqvupppzsel5uddcd4yx6d7gmav0rdf2nahn5xaaskaeep8w740ycprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntcm88k3Publishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1qeczzz9pnlfc6msm2gd5mu3h6c7x6j48m08gdmmpdmnjzwaa27fs4yysp5