Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Vscoq	290	3 months ago	101	mit	OCaml
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
Vscoq	86	4 years ago	59	other	TypeScript
Coq Support for Visual Studio Code
Coqpie	8	6 months ago	1	mit	Coq
CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

Alternatives To Vscoq

Select To Compare

Vscoq ⭐ 290

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh

most recent commit 3 months ago

Vscoq ⭐ 86

Coq Support for Visual Studio Code

most recent commit 4 years ago

Coqpie ⭐ 8

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

most recent commit 6 months ago

Suggest An Alternative To vscoq

Alternative Project Comparisons

Vscoq vs Coqpie

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Editor Projects

Vscode ⭐ 158,028

Visual Studio Code

dependent packages 162total releases 758latest release December 03, 2023most recent commit 5 days ago

The Art Of Command Line ⭐ 142,328

Master the command line, in one page

most recent commit 4 months ago

Awesome Mac ⭐ 68,390

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

dependent packages 2total releases 8latest release November 27, 2023most recent commit 3 months ago

Reveal.js ⭐ 66,268

The HTML Presentation Framework

dependent packages 128total releases 35latest release November 09, 2023most recent commit 3 months ago

Atom ⭐ 59,004

:atom: The hackable text editor

most recent commit a year ago

Popular Mathematics Categories