Deduce

Deduce is an automated proof checker meant for use in education to help students

EducationPython · Emacs LispGitHub @jsiekOnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 10; Active repository
Latest version: v1.5; Version 1.5 of Deduce · Oct 27, 2025
Contributors: 9; Forks 13
License: License information
This summarizes common license conditions. Check the repository LICENSE, per-file notices, and additional terms for actual conditions.
Information shown for this project
GitHub auto-detection · main repository license
BSL-1.0
Provided license information ↗
Repository observations do not verify all per-file terms, multiple licenses, or dependencies.
Information at the observation time · Last successful collection Oct 27, 12:00 (Korea time)
Check LICENSE in the repository ↗
Common license comparison
The listed licenses allow commercial use when their conditions are met. Check originals for multiple, custom, or unidentified licenses. Scroll the table horizontally on narrow screens.
Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original Commercial use Modification / redistribution Source obligations Key conditions
MIT ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗ Allowed Allowed No source distribution obligation Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗ Allowed Allowed No source distribution obligation Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗ Allowed Allowed No source distribution obligation BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in all copies
GPL-2.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗ Allowed Allowed under MPL terms Provide source for MPL-covered files and modifications when distributing Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗ Allowed Allowed under AGPL terms Provide corresponding source when distributing; offer remote users of modified versions free source access Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗ Allowed Allowed No source distribution obligation Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗ Allowed Allowed No source distribution obligation Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks
For GPL/LGPL/AGPL, -only permits that version only; -or-later allows that or a later version. Do not infer later-version permission from a label without a version and suffix. Source obligations apply to recipients/users under the terms and do not always require publishing to the entire internet.
GitHub license detection and display guide ↗; GitHub auto-detection · Previous observation · Collected Oct 27
Listed on nomorevibe: Oct 9; Repository created February 2024

Languages

Python 83.8%
Emacs Lisp 7.4%
Swift 2.6%
JavaScript and others 6.2%

Updates6 updates

All

Oct 27, 2025Version 1.5 of DeduceGitHub release ↗
Sep 18, 2025Version 1.4 of DeduceGitHub release ↗
Aug 15, 2025Version 1.3 of DeduceGitHub release ↗

Comments

Newest first

···

GitHub issue delivery settings

Checking sign-in status.

Loading comments.

Deduce

Deduce is an automated proof checker meant for use in education to help students

EducationPython · Emacs LispGitHub @jsiekOnlineOwner unconfirmed

Visit project GitHub

Have you tried it? One tap is enough. No sign-in needed.

Availability: Online; 30-day uptime 100%
Latest code update: Oct 10; Active repository
Latest version: v1.5; Version 1.5 of Deduce · Oct 27, 2025
Contributors: 9; Forks 13
License: License information
This summarizes common license conditions. Check the repository LICENSE, per-file notices, and additional terms for actual conditions.
Information shown for this project
GitHub auto-detection · main repository license
BSL-1.0
Provided license information ↗
Repository observations do not verify all per-file terms, multiple licenses, or dependencies.
Information at the observation time · Last successful collection Oct 27, 12:00 (Korea time)
Check LICENSE in the repository ↗
Common license comparison
The listed licenses allow commercial use when their conditions are met. Check originals for multiple, custom, or unidentified licenses. Scroll the table horizontally on narrow screens.
Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original Commercial use Modification / redistribution Source obligations Key conditions
MIT ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗ Allowed Allowed No source distribution obligation Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗ Allowed Allowed No source distribution obligation Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗ Allowed Allowed No source distribution obligation BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗ Allowed Allowed No source distribution obligation Keep copyright and permission notices in all copies
GPL-2.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗ Allowed Allowed under GPL terms Provide corresponding source for the program/derivatives when distributing Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗ Allowed Allowed under LGPL terms Provide source for the library/modifications when distributing the library Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗ Allowed Allowed under MPL terms Provide source for MPL-covered files and modifications when distributing Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗ Allowed Allowed under AGPL terms Provide corresponding source when distributing; offer remote users of modified versions free source access Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗ Allowed Allowed No source distribution obligation Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗ Allowed Allowed No source distribution obligation Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks
For GPL/LGPL/AGPL, -only permits that version only; -or-later allows that or a later version. Do not infer later-version permission from a label without a version and suffix. Source obligations apply to recipients/users under the terms and do not always require publishing to the entire internet.
GitHub license detection and display guide ↗; GitHub auto-detection · Previous observation · Collected Oct 27
Listed on nomorevibe: Oct 9; Repository created February 2024

Languages

Python 83.8%
Emacs Lisp 7.4%
Swift 2.6%
JavaScript and others 6.2%

Updates6 updates

All

Oct 27, 2025Version 1.5 of DeduceGitHub release ↗
Sep 18, 2025Version 1.4 of DeduceGitHub release ↗
Aug 15, 2025Version 1.3 of DeduceGitHub release ↗

Comments

Newest first

···

GitHub issue delivery settings

Checking sign-in status.

Loading comments.

Deduce

License information

Information shown for this project

Common license comparison

Languages

Updates6 updates

Comments

Deduce

License information

Information shown for this project

Common license comparison

Languages

Updates6 updates

Comments

Enlarged image

Do you operate this project?

Introduction

README

Deduce

Quick start

Repo layout

README

README

Deduce

Quick start

Repo layout

Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original	Commercial use	Modification / redistribution	Source obligations	Key conditions
MIT ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗	Allowed	Allowed	No source distribution obligation	Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗	Allowed	Allowed	No source distribution obligation	Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗	Allowed	Allowed	No source distribution obligation	BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in all copies
GPL-2.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗	Allowed	Allowed under MPL terms	Provide source for MPL-covered files and modifications when distributing	Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗	Allowed	Allowed under AGPL terms	Provide corresponding source when distributing; offer remote users of modified versions free source access	Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗	Allowed	Allowed	No source distribution obligation	Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗	Allowed	Allowed	No source distribution obligation	Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks

Commercial use, modification/redistribution, source obligations, and key conditions of common licenses. Names link to official texts.
License · original	Commercial use	Modification / redistribution	Source obligations	Key conditions
MIT ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in copies/substantial portions
Apache-2.0 ↗	Allowed	Allowed	No source distribution obligation	Keep license, relevant notices and NOTICE; mark modifications. Includes patent grants and termination on patent litigation
BSD-2-Clause ↗	Allowed	Allowed	No source distribution obligation	Keep copyright, conditions and disclaimers in source or binary documentation/materials
BSD-3-Clause ↗	Allowed	Allowed	No source distribution obligation	BSD-2 terms, plus no use of copyright holder/contributor names for endorsement without permission
ISC ↗	Allowed	Allowed	No source distribution obligation	Keep copyright and permission notices in all copies
GPL-2.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; keep copyright, license and change notices. Mere aggregation is excluded
GPL-3.0 ↗	Allowed	Allowed under GPL terms	Provide corresponding source for the program/derivatives when distributing	Distribute under GPL; retain notices and mark modifications. Patent terms; provide modified-version installation information for covered consumer products
LGPL-2.1 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; allow library replacement/relinking and reverse engineering to debug modifications
LGPL-3.0 ↗	Allowed	Allowed under LGPL terms	Provide source for the library/modifications when distributing the library	Apps may link under other licenses; ensure replacement, relinking and reverse engineering for debugging modifications; provide installation information for covered products
MPL-2.0 ↗	Allowed	Allowed under MPL terms	Provide source for MPL-covered files and modifications when distributing	Retain MPL and notices at file level; separate files without MPL code may use other licenses
AGPL-3.0 ↗	Allowed	Allowed under AGPL terms	Provide corresponding source when distributing; offer remote users of modified versions free source access	Distribution terms similar to GPL-3.0, plus source-access instructions for network users of modified programs
Unlicense ↗	Allowed	Allowed	No source distribution obligation	Dedicate copyright to the public domain; check the original and limits permitted by law
CC0-1.0 ↗	Allowed	Allowed	No source distribution obligation	Waive copyright and related rights, with fallback permission if ineffective; excludes patents and trademarks

Deduce

Languages

Updates6 updates

Comments

Trending in Education

Deduce

Languages

Updates6 updates

Comments

Trending in Education

Do you operate this project?

Introduction

README

Quick start

Repo layout

README

README

Quick start

Repo layout