Awesome Open Source

Programming Languages

Search results for javascript proof assistant

proof-assistant x

8 search results found

A port of Coq to Javascript -- Run Coq in your Browser

A JavaScript propositional logic and resolution library

Globular ⭐ 31

Fitch style proof constructor

Proof Tree Builder.github.io ⭐ 19

A web-based graphical proof assistant for LK and Hoare logic.

Proof assistant for Typographical Number Theory

Prooftoys ⭐ 9

Interactive, web-based visual math assistant

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

Related Searches

Javascript Reactjs (121,118)

Javascript Html (48,022)

Javascript Css (46,402)

Javascript Deployment (32,768)

Javascript Express (27,853)

Javascript Command Line (22,145)

Javascript Testing (21,652)

Javascript Redux (21,545)

Javascript Vue (19,769)

Javascript Jquery (18,285)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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