Stream: Coq users

Topic: Coq verbose


view this post on Zulip João Mendes (Jul 05 2023 at 14:37):

Does anyone know if there is a project similar to Lean verbose for Coq?

view this post on Zulip Karl Palmskog (Jul 05 2023 at 14:47):

Probably this is the closest: https://github.com/impermeable/coq-waterproof

view this post on Zulip João Mendes (Jul 05 2023 at 16:32):

Thanks! I'll take a look on it

view this post on Zulip João Mendes (Jul 10 2023 at 15:23):

From one of the contributors of Lean-verbose, I've just found this repository: https://github.com/jnarboux/Coq_verbose/tree/main


Last updated: Jun 18 2024 at 21:01 UTC