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: Apr 18 2024 at 07:02 UTC