Proof Assistant
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Botkit Express Demo | 73 | 8 years ago | JavaScript | |||||||
| Demo of a Slack bot app with "Add to Slack" button, using Botkit, Express and MongoDB | ||||||||||
| Walkiebot | 38 | 4 years ago | 1 | isc | JavaScript | |||||
| walkiebot opensource | ||||||||||
| Meanstore | 31 | 3 years ago | 82 | JavaScript | ||||||
| Simple Shopping Cart based on MongoDB ExpressJS AngularJS and NodeJS | ||||||||||
| Buttons | 21 | 6 months ago | 14 | JavaScript | ||||||
| 🌱 buttons is a web service to help you keep doing things everyday | ||||||||||
| Fusionauth Nodejs React Example | 13 | 7 months ago | 10 | apache-2.0 | JavaScript | |||||
| FusionAuth Example for Node.js and React | ||||||||||
| Opricot Mongoconsole | 12 | 14 years ago | gpl-3.0 | JavaScript | ||||||
| MongoDB PHP/JS Web Frontend | ||||||||||
| Husky Bot | 6 | 9 months ago | 1 | gpl-3.0 | Python | |||||
| A Discord Bot for the NU Server | ||||||||||
| Proof Assistant | 5 | 6 years ago | 12 | gpl-3.0 | JavaScript | |||||
| Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking | ||||||||||
| To Do 2018 | 5 | 6 years ago | JavaScript | |||||||
| I made a to-do list with a Database and a coundown timer! | ||||||||||
Alternatives To Proof AssistantSelect To Compare
Alternative Project Comparisons
Popular Mongodb Projects
Popular Button Projects
Popular Data Storage Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Mongodb
Button
Jade
Proof Assistant