Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Local canonical instances


view this post on Zulip 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