Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Local canonical instances

Cyril Cohen (Feb 15 2022 at 09:44):

I would like to do Canonical stuff := ... but within a proof.

Last updated: Jan 29 2023 at 16:02 UTC