Zulip Chat Archive

Stream: maths

Topic: parametricity

Patrick Massot (Nov 08 2018 at 09:56):

The parametricity stuff is at https://github.com/leanprover-community/mathlib/tree/param

Mario Carneiro (Nov 08 2018 at 09:58):

hm, we should have a thread about this

Patrick Massot (Nov 08 2018 at 10:56):

done

Patrick Massot (Nov 08 2018 at 10:57):

(except Zulip doesn't seem to allow changing stream here)

Last updated: May 02 2025 at 03:31 UTC