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: Mar 28 2024 at 11:01 UTC