d∃∀duction

Core team

Current members

Past members

Marguerite Bin

Contributors

Jean Christophe Deligny (work on the installation script)
Camille Lichère (lots of testing, and teaching !)

License

This project is licensed under the terms of the GNU General Public License v3.0. See the LICENSE.md file for more information.

Meaning

Along side the reference to the word "deduction", d∃∀duction can also mean :

d∃∀duction
∃xists
∀s (a)
disruptive
utility
concatenating
true
information
on
nuggets.

About

Source for the d∃∀duction project.

GNU General Public License v3.0

Languages

Language:Python 80.1%Language:Lean 17.1%Language:Shell 2.6%Language:Vim Snippet 0.1%Language:Nextflow 0.1%Language:HTML 0.0%Language:QML 0.0%Language:Vim Script 0.0%Language:JavaScript 0.0%