Stream: Coq users

Topic: Graph2Tac downgrades Coq to 8.11


view this post on Zulip Huỳnh Trần Khanh (Apr 12 2024 at 15:07):

I'm installing Graph2Tac for Tactician. Is the downgrade intended behavior? If so, this means that Graph2Tac is pretty much an experiment and I shouldn't rely on it, right?


Last updated: Jun 22 2024 at 15:01 UTC