Zulip Chat Archive

Stream: lean4

Topic: Hiearchy builder in Lean


view this post on Zulip Cyril Cohen (Jan 07 2021 at 21:09):

Hi, I'd be interested in porting Hiearchy Builder to Lean4, with a hybrid TC + UH encoding if possible, if someone is working on it or interested in working on it please tell me.

view this post on Zulip Cyril Cohen (Jan 07 2021 at 21:14):

I must say that I will be pretty busy in the coming months, but this is mostly a declaration of interest.

view this post on Zulip Cyril Cohen (Jan 07 2021 at 21:14):

And to open the discussion

view this post on Zulip Cyril Cohen (Jan 07 2021 at 23:58):

Maybe it's worth posting our paper about HB here: https://hal.inria.fr/hal-02478907v5


Last updated: May 07 2021 at 12:15 UTC