repositories Search Results · topic:rocq-prover org:rocq-prover fork:true

Filter by

• • Code... (...)results
  • Repositories
    results
  • Issues
    results
  • Pull requests
    results
  • Discussions
    results
  • Users
    results
  • More

• Advanced

  • Owner
  • Size
  • Number of followers
  • Number of forks
  • Number of stars
  • Date created
  • Date pushed
  • Topic
  • License
  • Archived
  • Public
  • Private
• Advanced search

Repositories3 (3)

3 results

 (73 ms)

3 results

inrocq-prover (press backspace or delete to remove)

Sort by: Best match

Filter

rocq-prover/vsrocq

Visual Studio Code extension for Coq

editor

coq

vscode

vscode-extension

vscodium

• OCaml
·
• 408
·
• Updated
  18 days ago

Star

rocq-prover/opam

Archive for all Rocq and Coq-related opam packages organized in various repositories

coq

opam-repository

opam

rocq-prover

• OCaml
·
• 149
·
• Updated
  12 hours ago

Star

rocq-prover/rfcs

Rocq RFCs: documents to discuss changes to the Rocq Prover

rfc

rocq-prover

• 60
·
• Updated
  on Jan 15

Star

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects

ProTip! 

Press the

/

key to activate the search input again and adjust your query.

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects

ProTip! 

Press the

/

key to activate the search input again and adjust your query.