Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

François Thiré. Interoperability between proof systems using the logical framework Dedukti. (Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti). PhD thesis, École normale supérieure Paris-Saclay, Cachan, France, 2020. [doi]

This author has not been identified. Look up 'François Thiré' in Google

runs on WebDSL