Ssreflect Users Discussion List

[Andrej Bauer <>]

https://github.com/HoTT/HoTT and other repositories in the HoTT account.

Bas tells me there is an ssr plugin. I think that's what I am really
asking for. Where can I read more about it?

On Wed, Oct 10, 2012 at 10:29 AM, Enrico Tassi <> wrote:
> On Wed, Oct 10, 2012 at 10:22:31AM -0400, Andrej Bauer wrote:
>> We are in coq trunk because we are making changes to the coq kernel.
>
> OK, could you give me a pointer? (I'm curious)
>
> Cheers
> --
> Enrico Tassi