Stream: Proof General users

Topic: congruence and intensional type theory

Notification Bot (Mar 07 2022 at 08:04):

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

Last updated: Sep 25 2023 at 11:01 UTC