Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Interactive Natural Deduction

An editor for interactively building natural deduction proofs
Stars
19
License
No license specified
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
OCaml
Categories
Repo
Alternatives To Interactive Natural Deduction
Select To Compare
Vscode ⭐ 158,028
Visual Studio Code
dependent packages 162total releases 758most recent commit a month agonpm monaco-editor-core} Downloads
Reveal.js ⭐ 66,268
The HTML Presentation Framework
dependent packages 128total releases 35most recent commit 4 months agonpm reveal.js} Downloads
Monaco Editor ⭐ 38,270
A browser based code editor
dependent packages 2,531total releases 657most recent commit 23 days agonpm monaco-editor} Downloads
Quill ⭐ 38,033
Quill is a modern WYSIWYG editor built for compatibility and extensibility.
dependent packages 2,048total releases 77most recent commit 4 months agonpm quill} Downloads


Suggest An Alternative To interactive-natural-deduction
Popular Text Editors Categories
Editor
Vim
Emacs
Neovim
Sublime Text
Viml
Vim Plugin
Nvim
Text Editor
Neovim Plugin

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Editor
Ocaml
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.