8000 Support for 8.20 · Issue #359 · jscoq/jscoq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Support for 8.20 #359
New issue
New issue
Open
Open
Support for 8.20#359
@herbelin

Description

@herbelin
herbelin
opened on Jul 5, 2024

Dear developers, we are willing to make a JsCoq version of Coq 8.20. Unless you think it is a bad idea (e.g. you'd have an alternative solution to run Coq online or in the browser), we would be happy to have instructions on the work needed to possibly do an upgrade ourselves. Thanks in advance, Hugo

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0