proof-assistant | Online platform to enable Logic students | Runtime Evironment library

by surajx JavaScript Version: 0.1 License: GPL-3.0

X-Ray Key Features Code Snippets Community Discussions(1)Vulnerabilities Install Support

kandi X-RAY | proof-assistant Summary

proof-assistant is a JavaScript library typically used in Retail, Server, Runtime Evironment, Nodejs applications. proof-assistant has no bugs, it has no vulnerabilities, it has a Strong Copyleft License and it has low support. You can download it from GitHub.

An online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs. Proofs are checked for correctness in real-time, and provides informative error messages. The project was developed as part of the Logic4Fun initiative during Logic Summer School, 2015.

Support

Quality

Security

License

Reuse

Support

proof-assistant has a low active ecosystem.

It has 8 star(s) with 2 fork(s). There are 2 watchers for this library.

It had no major release in the last 12 months.

There are 12 open issues and 4 have been closed. On average issues are closed in 102 days. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of proof-assistant is 0.1

Quality

proof-assistant has no bugs reported.

Security

proof-assistant has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

proof-assistant is licensed under the GPL-3.0 License. This license is Strong Copyleft.

Strong Copyleft licenses enforce sharing, and you can use them when creating open source projects.

Reuse

proof-assistant releases are available to install and integrate.

Installation instructions are available. Examples and code snippets are not available.

Top functions reviewed by kandi - BETA

kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of proof-assistant

Get all kandi verified functions for this library.

proof-assistant Key Features

No Key Features are available at this moment for proof-assistant.

proof-assistant Examples and Code Snippets

No Code Snippets are available at this moment for proof-assistant.

Community Discussions

Trending Discussions on proof-assistant

Reasoning about overlapping inductive definitions in Isabelle

QUESTION

Reasoning about overlapping inductive definitions in Isabelle

Asked 2019-Mar-14 at 19:35

I would like to prove the following lemma in Isabelle:

...

ANSWER

Answered 2019-Mar-14 at 19:35

Please find a proof below. It is not unlikely that it can be improved: I tried to follow the simplest route towards the proof and relied on sledgehammer to fill in the details.

Source https://stackoverflow.com/questions/53127680

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install proof-assistant

Login/SignUp with any valid email. E-mail is just a placeholder for the username, essentially you can give a random valid email and password as long as you can remember it.

Support

For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .

Find more information at: