Stream: Proof General users

Topic: congruence and intensional type theory


view this post on Zulip Notification Bot (Mar 07 2022 at 08:04):

This topic was moved to #Miscellaneous > congruence and intensional type theory by Karl Palmskog.


Last updated: Feb 06 2023 at 05:03 UTC