Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Javascript Proof Assistant Open Source Projects

Open source projects categorized as Javascript Proof Assistant
Categories > Programming Languages > Proof Assistant
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25most recent commit 7 months agonpm jscoq} Downloads
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
dependent packages 2total releases 12most recent commit 7 years agonpm vulcan} Downloads
Globular ⭐ 31
Globular
most recent commit 6 years ago
Fitchjs ⭐ 24
Fitch style proof constructor
most recent commit a year ago
Proof Tree Builder.github.io ⭐ 19
A web-based graphical proof assistant for LK and Hoare logic.
most recent commit a year ago
Tnt ⭐ 11
Proof assistant for Typographical Number Theory
most recent commit 8 years ago
Prooftoys ⭐ 9
Interactive, web-based visual math assistant
most recent commit 3 months ago
Proof Assistant ⭐ 5
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
most recent commit 6 years ago
The 2 Most Depended On Javascript Proof Assistant Open Source Projects
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
dependent packages 2total releases 12latest release June 27, 2016most recent commit 7 years agonpm vulcan} Downloads
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25latest release October 04, 2023most recent commit 7 months agonpm jscoq} Downloads
The 2 Latest Releases In Javascript Proof Assistant Open Source Projects
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25latest release October 04, 2023most recent commit 7 months agonpm jscoq} Downloads
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
dependent packages 2total releases 12latest release June 27, 2016most recent commit 7 years agonpm vulcan} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.