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: Oct 13 2024 at 01:02 UTC