Jean Abou Samra (new account) on Nostr: nprofile1q…fw8t5 nprofile1q…c356e The Dedukti project is devoted to ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrtmxaehjwwhulsy2j48vrh0vsw06au9vrjae5kgc6c2uqe47ckjqrc356e (nprofile…356e) The Dedukti project is devoted to interoperability between proof assistants. I must unfortunately say I am skeptical of the approach but at least it's a try and they do manage to achieve some amount of interoperability.