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: Jun 11 2023 at 01:30 UTC